数理逻辑练习题及答案-1
初中数理逻辑试题及答案
初中数理逻辑试题及答案一、选择题（每题2分，共10分）1. 如果一个数的平方等于它本身，那么这个数是（）A. 0或1B. 0或-1C. 1或-1D. 无法确定2. 下列哪个选项是偶数（）A. 2B. 3C. 4D. 53. 一个三角形的三个内角之和等于（）A. 90°B. 180°C. 270°D. 360°4. 一个数的相反数是它本身，这个数是（）A. 0B. 1C. -1D. 无法确定5. 一个数的绝对值是它本身，这个数是（）A. 非负数B. 非正数C. 非负数或非正数D. 无法确定二、填空题（每题2分，共10分）1. 一个数的平方是25，那么这个数是_________。
2. 一个数的立方是-8，那么这个数是_________。
3. 一个数的倒数是1/2，那么这个数是_________。
4. 一个数的绝对值是5，那么这个数是_________。
5. 如果一个数的平方根是3，那么这个数是_________。
三、解答题（每题5分，共30分）1. 证明：对于任意实数a和b，(a+b)² = a² + 2ab + b²。
2. 已知一个数的平方是16，求这个数。
3. 一个等腰三角形的底角是45°，求顶角的度数。
4. 一个数的立方是27，求这个数。
5. 一个数的绝对值是3，求这个数。
四、逻辑推理题（每题5分，共10分）1. 如果一个数既是偶数又是质数，那么这个数是（）A. 2B. 4C. 6D. 82. 如果一个数的绝对值是它本身，那么这个数是（）A. 正数B. 负数C. 零D. 正数或零五、应用题（每题10分，共20分）1. 一个长方形的长是宽的两倍，如果宽是5cm，求长方形的周长。
2. 一个数的平方比它的立方小64，求这个数。
答案：一、选择题1. A2. A3. B4. A5. A二、填空题1. ±52. -23. 24. ±55. 9三、解答题1. 证明：(a+b)² = (a+b)(a+b) = a² + ab + ba + b² = a² + 2ab + b²。
数理逻辑课后习题答案
数理逻辑课后习题答案数理逻辑课后习题答案数理逻辑是一门研究推理和思维的学科，它涉及到数学和哲学的交叉领域。
在学习数理逻辑的过程中，课后习题是巩固知识和提高能力的重要途径。
本文将为你提供一些数理逻辑课后习题的答案，希望能够帮助你更好地理解和应用这门学科。
1. 逻辑符号的运用习题：将以下自然语言句子转化为逻辑符号表示：a) 如果今天下雨，那么我就带伞。
b) 所有猫都喜欢吃鱼。
c) 除非你努力学习，否则你不会成功。
答案：a) p: 今天下雨q: 我带伞逻辑符号表示：p → qb) p: x是猫q: x喜欢吃鱼逻辑符号表示：∀x(p → q)c) p: 你努力学习q: 你成功逻辑符号表示：p → q2. 命题逻辑推理习题：使用命题逻辑进行推理，判断以下论断是否成立：a) 如果今天是周末，那么我会去看电影。
今天是周末，所以我会去看电影。
b) 如果这只猫是黑色的，那么它是一只黑猫。
这只猫是黑色的，所以它是一只黑猫。
答案：a) 论断成立。
根据前提条件，今天是周末，可以推出结论我会去看电影。
b) 论断不成立。
虽然前提条件是这只猫是黑色的，但不能推出结论它是一只黑猫，因为黑色的猫不一定全身都是黑色的。
3. 谓词逻辑推理习题：使用谓词逻辑进行推理，判断以下论断是否成立：a) 所有猫都喜欢吃鱼。
汤姆是一只猫，所以汤姆喜欢吃鱼。
b) 所有学生都喜欢音乐。
小明是学生，所以小明喜欢音乐。
答案：a) 论断成立。
根据前提条件，所有猫都喜欢吃鱼，可以推出结论汤姆喜欢吃鱼。
b) 论断成立。
根据前提条件，所有学生都喜欢音乐，可以推出结论小明喜欢音乐。
4. 范式化和归结习题：使用范式化和归结法解决以下逻辑问题：a) 给定前提条件：p → q, ¬q → r, ¬r。
证明结论：¬p。
答案：首先，根据前提条件，我们可以得到以下逻辑式：1. p → q2. ¬q → r3. ¬r然后，我们可以将逻辑式1和3应用范式化规则，得到新的逻辑式：4. ¬p → ¬q接下来，我们将逻辑式4和逻辑式2应用归结规则，得到新的逻辑式：5. ¬p → r最后，我们将逻辑式5和前提条件的逻辑式3应用归结规则，得到最终的结论：6. ¬p通过范式化和归结法，我们证明了结论¬p成立。
数理逻辑参考答案
以下是参考答案。
对于较长的答案，只要回答出要点即可。
每题10分。
酌情评分。
1（A）、答案：300元。
源源，田田，晖晖每人拿出100元即可。
1（B）、答案：故选派方案有：(1)派A、C出差；(2)派A、D出差；(3)派A、B、D出差；(4)派C出差(5)派D出差；(6)派B出差；(7)派B、D出差由于题目要派两个人去出差，因此只有方案(1)、(2)、(7)满足要求，即：派A、C出差；派A、D出差；派B、D出差。
2（A）、答案：底下放一个1，然后2 3放在1上面，另外的4 5竖起来放在1的上面。
另外参考：要两人才能做到，先在平面上摆放一枚，再在这枚硬币的正面立着放两枚（这两枚是侧面接触的），这样，这三枚硬币之间形成一个三角形空隙。
剩下的两枚在空隙处交叉就行了，注意这两枚同样是平躺着，但可能需要翘起一定的角度。
2（B）、答案：a=a+b；b=a-b；a=a-b；3（A）、答案：根据I，每条供词都是由供词中没有提到的怀疑对象所作的。
因此，供词与怀疑对象之间的对应关系只有两种可能：A B(1)布拉德：亚当是无辜的。
(1)科尔：亚当是无辜的6(2)科尔：布拉德说的是真话。
(2)亚当：布拉德说的是真话。
(3)亚当：科尔在撒谎。
(3)布拉德：科尔在撒谎。
对于A，(2)支持(1)；而(3)否定(2)，进而否定(1)。
事实上，供词变成了：(1)布拉德：亚当是无辜的。
(2)科尔：亚当是无辜的。
(3)亚当：亚当有罪。
如果“亚当有罪”是真话，那么亚当说了真话而且是有罪的。
根据Ⅱ，这是不可能的。
如果“亚当是无辜的”是真话，那么布拉德和科尔说了真话，而且其中有一人是有罪的。
根据Ⅱ，这也是不可能的。
因此，A是不可能的。
对于B，(3)否定(1)；而(2)支持(3)，进而否定(1)。
事实上，供词变成了：(1)科尔：亚当是无辜的。
(2)亚当：亚当有罪。
(3)布拉德：亚当有罪。
如果“亚当有罪”是真话，那么亚当说了真话而且是有罪的。
根据Ⅱ。
离散数学 练习-第1部分 数理逻辑(解答)
5、下列命题公式为重言式的是（ D ），为矛盾式的是（ C ）
A、(P→Q)⋀Q⋀R
B、(P→P)→Q
C、(Q⋁R)⋀R
D、((P→Q)⋀(Q→R))→(P→R)
6、命题公式 (P→Q) 的主合取范式中含有（ D ）个极大项， 主析取范式中含有（ B ）个极小项 A、0 B、1 C、2 D、3
7、下列式子不正确的是（ D ） A、∃xA(x) ⇔ ∀xA(x) B、∃x(A→B(x)) ⇔ A→∃xB(x) C、∀xA(x) ⇔ ∃xA(x) D、∀x(A(x)→B) ⇔ ∀xA(x)→B
以下方案任选一：①A不去,B不去,C去；②A不去,B去,C不去； ③A去,B不去,C去
9、证明下列谓词公式为永真式
(xF( x) yG( y)) (yG( y) xF( x))
证明：题中的谓词公式为 (P Q) (Q P) 的代换实例
(P Q) (Q P) (P Q) (Q P) (P Q) (P Q) 1 (A A 1)
(P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) m001 m000 m011 m111 m0 m1 m3 m（7 主析取范式） M2 M4 M5 M（6 主合取范式） (P Q R) (P Q R) (P Q R) (P Q R)
命题“并不是所有汽车都比火车跑得慢”可符号化为（ C ）
命题“说汽车都比火车快是不对的”可符号化为（ C ） A、∃x(F(x)∧∀y(G(y)→H(x,y))) B、∃x∃y(F(x)∧G(y)→H(x,y)) C、∀x∀y(F(x)∧G(y)→H(x,y)) D、∀x(F(x)∧∃y(G(y)→H(x,y)))
数理逻辑部分1章练习题参考答案
《离散数学》第1章练习题参考答案2017年一、填空题1. 设命题公式)(r q p G ∨⌝∧=，则G 的成真赋值是 100 、 101 、 111 .2. 已知命题公式r q p G →∧⌝=)(，则G 的析取范式为r q p ∨⌝∨.3. 设B A ,为两个命题公式，B A ⇔当且仅当为重言式B A ↔，B A ⇒当且仅当为重言式B A →.4. 已知命题公式),,(r q p A 的主合取范式为530M M M ∧∧，则它的主析取范式为76421m m m m m ∨∨∨∨.5. 已知命题公式),,(r q p A 的成真赋值为000,001,010,100,110，则其主合取范式为357M M M ∧∧.二、选择题1. 设命题公式)(p q p G ⌝→∧=，则使G 的真值为1的p ，q 的取值是 （ C ）（A ） 00 （B ） 01 （C ） 10 （D ） 112. 与命题公式)(r q p →→等值的公式是 （ B ）（A ）r q p →∨)( （B ）r q p →∧)( （C ）)(r q p ∧→ （D ）)(r q p ∨→3. 命题公式p q p →∧)(是 （ A ）（A ）永真式 （B ）永假式 （C ）非永真式的可满足式 （D ）合取范式4. 设命题公式)(),(p q H q p G ⌝→=→⌝=，则G 与H 的关系是 （ D ）（A ）G H ⇔ （B ）G H → （C ）G H ⇒ （D ）H G ⇒5. 下列重言蕴涵式中，不正确的是 （ C ）（A ）Q P Q ∨⇒ （B ）Q P Q →⇒（C ）P Q P Q ⇒→∧⌝)( （D ）Q Q P ⌝⇒→⌝)(三、计算题1. 将下列命题符号化（1）李强不是不聪明，而是不用功 （2）如果天不下雨，我们就去郊游 解 （1）设p ：李强聪明，q ：李强用功.原命题符号化为：q p ⌝∧（2）设p ：天下雨，q ：我们去郊游.原命题符号化为：q p →⌝2.给出下列公式的真值表（1）r q p r q p ⌝∧∧→→∧)(（2）)()()(r p r q q p ⌝∧⌝→→∧∨⌝解略.3. 设命题变项q p ,为1， s r ,为0，试求出下列命题的真值（1）)(r q p ∧∨ （2）)()(s q r p →⌝∧→解 （1）101)01(1)(⇔∨⇔∧∨⇔∧∨r q p（2）010)00()01()()(⇔∧⇔→∧→⇔→⌝∧→s q r p4. 判断下列公式的类型（1）)(r q p p ∨∨→ （2）)()(q p q p ∨⌝→↔解 用真值表知（1）是重言式，（2）是可满足式.5. 求命题公式r q p →∨)(的主合取范式，并求其成假赋值. 解 用真值表可得642)(M M M r q p ∧∧⇔→∨.真值为0的赋值有三种：001，100，110.6. 求命题公式r q p ∨∧)(的主合取范式与主析取范式.解 用真值表法可知42076531)(M M M m m m m m r q p ∧∧⇔∨∨∨∨⇔∨∧四、证明题1. 用等值演算法证明q q p p →→∧)(为重言式. 证 原式q q p p q q p p →∨⌝∧⇔→→∧⇔)()( q q p q q p p ∨∧⌝⇔∨∨⌝∧⌝⇔)())((11⇔∨⌝⇔∨⌝∨⌝⇔p q q p2. 构造下列推理的证明（1）前提：q p q s s r q r →⌝→∨⌝→,,,，结论：p ⌝；（2）前提：s r s p q s r q p ,),)((),()(⌝∨→∧⌝→→⌝，结论：q p ↔；(3) 前提：)(,)(,t p r r q q p ∧⌝⌝⌝∧∨⌝→，结论：t ⌝. 证 （1）用归谬法证明①p 结论的否定引入 ②q p → 前提引入 ③q ①②假言推理 ④q s ⌝→ 前提引入 ⑤s ⌝ ③④拒取 ⑥ s r ∨ 前提引入⑦r ⑤⑥析取三段论 ⑧q r ⌝→ 前提引入 ⑨q ⌝ ⑦⑧假言推理 ⑩q q ⌝∧ ③⑨合取 ⑩得出矛盾，因此，p ⌝是前提的有效结论.（2）① s p q ⌝∨→)( 前提引入② s 前提引入 ③ p q → ①②析取三段论 ④ )()(s r q p ∧⌝→→⌝ 前提引入 ⑤ r 前提引入 ⑥ s r ∧ ②⑤合取 ⑦ q p → ④⑥拒取⑧)p→∧q→③⑦合取(q)(p⑨qp↔⑧置换（3）①r⌝)(前提引入∨∧q⌝r②rq∨⌝①化简③r⌝①化简④)⌝前提引入⌝p∧(t⑤tp⌝∨④置换⑥q⌝②③析取三段论⑦qp→前提引入⑧p⌝⑥⑦拒取⑨t⌝⑤⑧析取三段论。
数理逻辑考试题及答案
数理逻辑考试题及答案一、单项选择题（每题2分，共20分）1. 以下哪个选项不是命题逻辑中的联结词？A. 与B. 或C. 非D. 存在答案：D2. 在布尔代数中，以下哪个表达式是正确的？A. ¬(A∧B) = ¬A∨¬ BB. A∧¬ A = AC. A∨¬ A = 1D. A∧(A∨B) = A答案：C3. 以下哪个命题是真命题？A. 如果今天是星期一，那么明天是星期二。
B. 所有的鸟都会飞。
C. 所有的人都是哲学家。
D. 2+2=5答案：A4. 在命题逻辑中，以下哪个命题的否定是正确的？A. 如果A，则B。
B. A且B。
C. A或B。
D. A当且仅当B。
答案：A5. 以下哪个选项是谓词逻辑中的量词？A. 与B. 或C. 存在D. 非答案：C6. 在谓词逻辑中，以下哪个表达式表示“存在一个x，使得x是学生”？A. ∀x (x 是学生)B. ∃x (x 是学生)C. ¬∃x (x 是学生)D. ¬∀x (x 是学生)答案：B7. 以下哪个选项是模态逻辑中的模态词？A. 与B. 或C. 可能D. 非答案：C8. 在模态逻辑中，以下哪个命题表示“必然P”？A. PB. ¬PC. ◊PD. □P答案：D9. 以下哪个命题是逻辑等价的？A. A∧BB. A∨BC. ¬A∧¬ BD. ¬(A∧¬B)答案：C10. 在逻辑推理中，以下哪个选项是演绎推理？A. 归纳推理B. 演绎推理C. 溯因推理D. 类比推理答案：B二、多项选择题（每题3分，共15分）1. 以下哪些选项是命题逻辑中的有效推理形式？A. 从A∧B，可以推出A。
B. 从A∨B，可以推出A。
C. 从A，可以推出A∨B。
D. 从A∧B，可以推出B。
答案：A, C, D2. 在布尔代数中，以下哪些表达式是等价的？A. A∧(B∨¬A)B. A∨(B∧¬A)C. A∧¬ BD. A∨¬ B答案：A, C3. 以下哪些命题是真命题？A. 如果A则B，且A为真，那么B也为真。
最新数理逻辑考试题及答案
“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━数理逻辑考试题及答案一、命题逻辑基本知识（5分）1、将下列命题符号化（总共4题，完成的题号为学号尾数取4的余，完成1题。
共2分）（0）小刘既不怕吃苦，又爱钻研。
解：⌝p∧q，其中，P：小刘怕吃苦；q：小刘爱钻研。
（1）只有不怕敌人，才能战胜敌人。
解：q→⌝p，其中，P：怕敌人；q：战胜敌人。
（2）只要别人有困难，老张就帮助别人，除非困难已经解决了。
解：⌝r→(p→p)，其中，P：别人有困难；q：老张帮助别人；r：困难解决了。
（3）小王与小张是亲戚。
解：p，其中，P：小王与小张是亲戚。
2、判断下列公式的类型（总共5题，完成的题号为学号尾数取5的余，完成1题。
共1分）（0）A：(⌝(p↔q)→((p∧⌝q) ∨(⌝p∧q)))∨ r（1）B：(p∧⌝(q→p)) ∧(r∧q)（2）C：(p↔⌝r) →(q↔r)（3）E：p→(p∨q∨r)（4）F：⌝(q→r) ∧r解：用真值表判断，A为重言式，B为矛盾式，C为可满足式，E为重言式，F为矛盾式。
3、判断推理是否正确（总共2题，完成的题号为学号尾数取2的余，完成1题。
共2分）（0）设y=2|x|，x为实数。
推理如下：如y在x=0处可导，则y在x=0处连续。
发现y在x=0处连续，所以，y在x=0处可导。
解：设y=2|x|，x为实数。
令P：y在x=0处可导，q：y在x=0处连续。
由此，p为假，q为真。
本题推理符号化为：(p→q) ∧q→p。
由p、q的真值，计算推理公式真值为假，由此，本题推理不正确。
（1）若2和3都是素数，则6是奇数。
2是素数，3也是素数。
所以，5或6是奇数。
解：令p:2是素数，q:3是素数，r:5是奇数，s:6是奇数。
由此，p=1，q=1，r=1，s=0。
本题推理符号化为：((p ∧ q) →s) ∧p ∧q) →(r ∨ s)。
数理逻辑期末考试题及答案
数理逻辑期末考试题及答案一、选择题（每题2分，共20分）1. 以下哪个命题与“所有猫都怕水”是等价的？A. 没有猫不怕水B. 所有不怕水的都不是猫C. 有些猫不怕水D. 有些猫怕水2. 如果命题P：x > 0，命题Q：x^2 > 0，那么P是Q的什么条件？A. 充分条件B. 必要条件C. 充分必要条件D. 既不充分也不必要条件3. 逻辑运算符“与”（AND）的真值表中，当两个输入都为真时，输出是什么？A. 假B. 真C. 随机D. 无定义4. 以下哪个是命题逻辑中的有效论证？A. 如果今天是星期一，那么明天是星期二B. 如果今天是星期一，那么明天是星期三C. 如果今天是星期一，那么明天是星期五D. 如果今天是星期一，那么今天是星期二5. 以下哪个命题是真命题？A. 2 + 2 = 5B. 2 + 2 = 4C. 2 + 2 > 4D. 2 + 2 < 46. 以下哪个命题与“如果今天是星期五，那么明天是星期六”是逆命题？A. 如果明天是星期六，那么今天是星期五B. 如果明天不是星期六，那么今天不是星期五C. 如果今天是星期五，那么明天是星期六D. 如果明天是星期六，那么今天是星期六7. 以下哪个命题与“所有的狗都是哺乳动物”是矛盾命题？A. 有些狗不是哺乳动物B. 所有的狗都是哺乳动物C. 所有的哺乳动物都是狗D. 有些哺乳动物不是狗8. 以下哪个命题是假命题？A. 0是自然数B. 1是最小的正整数C. 0是最小的自然数D. 1是最小的正整数且0是最小的自然数9. 以下哪个命题是真命题？A. 所有的偶数都是整数B. 所有的整数都是偶数C. 所有的奇数都是整数D. 所有的整数都是奇数10. 以下哪个命题与“如果今天是星期三，那么明天是星期四”是同一律命题？A. 如果今天是星期三，那么明天是星期四B. 如果明天是星期四，那么今天是星期三C. 如果今天是星期四，那么明天是星期三D. 如果明天不是星期四，那么今天不是星期三答案：1. A2. B3. B4. A5. B6. A7. A8. D9. A10. A二、填空题（每空2分，共20分）1. 命题逻辑中的“或”运算符可以表示为________。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
命题逻辑基本概念
1．将下列命题符号化。
2．
3．（1）刘晓月跑得快，跳得高。
4．
5．（2）老王是山东人或河北人。
6．
7．（3）因为天气冷，所以我穿了羽绒服。
8．
9．（4）王欢与李乐组成一个小组。
10．
11．（5）李辛与李末是兄弟。
12．
13．（6）王强与刘威都学过法语。
14．
15．（7）他一面吃饭，一面听音乐。
16．
17．（8）如果天下大雨，他就乘班车上班。
18．
19．（9）只有天下大雨，他才乘班车上班。
20．
21．（10）除非天下大雨，他才乘班车上班。
22．
23．（11）下雪路滑，他迟到了。
24．
25．（12）2与4都是素数，这是不对的。
26．
27．（13）“2或4是素数，这是不对的”是不对的。
28．将下列命题符号化，并给出各命题的真值：
29．
30．（1）若3＋2＝4，则地球是静止不动的。
31．
32．（2）若3＋2＝4，则地球是运动不止的。
33．
34．（3）若地球上没有树木，则人类不能生存。
35．（4）若地球上没有水，则是无理数。
36．将下列命题符号化，并给出各命题的真值：
37．
38．（1）2＋2＝4当且仅当3＋3＝6。
39．
40．（2）2＋2＝4的充要条件是3＋3≠6。
41．
42．（3）2＋2≠4与3＋3＝6互为充要条件。
43．
44．（4）若2＋2≠4，则3＋3≠6，反之亦然。
45．设p：2+3=5。
46．q：大熊猫产在中国。
47．r：复旦大学在广州。
求下列复合命题的真值：
（1）(p q)→r
（2）(r→(p∧q))┐p
（3）┐r→(┐p∨┐q∨r)
（4）(p∧q∧┐r)((┐p∨┐q)→r) 48．用真值表判断下列公式的类型：49．
50．（1）p→(p∨q∨r)
51．
52．（2）(p→┐q)→┐q
53．
54．（3）┐(q→r)∧r
55．
56．（4）(p→q)→(┐q→┐p)
57．
58．（5）(p∧r)(┐p∧┐q)
59．
60．（6）((p→q)∧(q→r))→(p→r) 61．
62．（7）(p→q)(r s)
答案
1．
（1）p∧q，其中，p：刘晓月跑得快，q：刘晓月跳得高。
（2）p∨q，其中，p：老王是山东人，q：老王是河北人。
（3）p→q，其中，p：天气冷，q：我穿了羽绒服。
（4）p，其中，p：王欢与李乐组成一个小组，是简单命题。
（5）p，其中，p：李辛与李末是兄弟。
（6）p∧q，其中，p：王强学过法语，q：刘威学过法语。
（7）p∧q，其中，p：他吃饭，q：他听音乐。
（8）p→q，其中，p：天下大雨，q：他乘班车上班。
（9）p→q，其中，p：他乘班车上班，q：天下大雨。
（10）p→q，其中，p：他乘班车上班，q：天下大雨。
（11）p→q，其中，p：下雪路滑，q：他迟到了。
（12）┐(p∧q)或┐p∨┐q，其中，p：2是素数，q：4是素数。
（13）┐┐(p∨q)或p∨q，其中，p：2是素数，q：4是素数。
2．
（1）p→q，其中，p：2＋2＝4，q：地球静止不动，真值为0。
（2）p→q，其中，p：2＋2＝4，q：地球运动不止，真值为1。
（3）┐p→┐q，其中，p：地球上有树木，q：人类能生存，真值为1。
（4）┐p→q，其中，p：地球上有水，q：是无理数，真值为1。
3．
（1）p q，其中，p：2＋2＝4，q：3＋3＝6，真值为1。
（2）p┐q，其中，p：2＋2＝4，q：3＋3＝6，真值为0。
（3）┐p q，其中，p：2＋2＝4，q：3＋3＝6，真值为0。
（4）┐p┐q，其中，p：2＋2＝4，q：3＋3＝6，真值为1。
4．
（1）真值为0。
（2）真值为0。
（3）真值为0。
（4）真值为1。
注意：p,q是真命题，r是假命题。
5．
(1)、(4)、(6)为重言式。
(3)为矛盾式。
(2)、(5)、(7)为可满足式。