1、用欧拉图表示 并写出推导过程
（1）S真包含P
（2）要么MEP，要么SIP
2、将两个命题化为真值形式，并画出真值表，根据真值表判断其有效性。
3、（1）L是一个含有等词的一阶语言，使用等词、真值联结词、量词写出一个句子，使其在恰好含有三个对象的论域中的解释为真。
（2）用现代逻辑的角度来分析传统逻辑中哪些对当关系预设了主项的存在，并分析为什么。
4、（1）证明否定和合取能够表示所有的真值函数
（2）L是一个含有等词的一阶语言，其中非逻辑符号只有一元函数符号，写出一个仅在论域是无限的解释中为真的句子。
5、什么是公理系统？内定理和元定理的区别是什么？
6、分析实质蕴含怪论
