超验

超证是一种学习分析推理和证明构造原理的系统,它由文本和麦金塔软件程序组成。与传统的一阶逻辑处理不同,超验结合了图形和句子信息,提出了一组整合这些不同形式的信息的逻辑规则。这种策略允许学生关注证据的信息内容而不是句子的句法结构。它也反映了日常推理中遇到的信息的异质性。