2019考研人大哲学院801哲学综合逻辑学部分回忆.doc

1第一题：用欧拉图解决一个词项逻辑问题第二题：翻译，使用真值表判断是否有效第三题：1.用带 等号的谓词语 言给出一个公式，使得其满足当且仅当模型的论域中有 3 个元素；2.对当关系中的哪些关系默认了主项非空第四题：1.证明否定和合取的真值函数完全性；2. 在带等号和一个一元函数符号的 语言中给出一个公式，使得其满足当且仅当论域中有无穷多个对象。第五题：1.论述什么是公理系统；2. 论述什么是元定理和内定理。第六题：讨论实质蕴含怪论