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

lucky

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

游客，如果您要查看本帖隐藏内容请回复