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