2019年人大801哲学综合逻辑学部分

E星向前 · 发表于 2019-1-7 13:17

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

E星向前 · 发表于 2019-3-30 21:42

更正一下，第四题中2应该为仅当，因为另一个方向是不可能的（为什么？）

		自动登录	找回密码
密码			注册

[逻辑学] 2019年人大801哲学综合逻辑学部分

NEW最新资料推荐