文档介绍：第九章复合命题推理
【堂上操练】
一、填空:
,另一个前提和结论是直言命题,所以也称为____________。
,它是根据假言前提的逻辑性质进行的。
,它是前提和结论均为假言命题且第二前提的前件与第一前提的后件相同的推理,这种推理也是根据假言命题的逻辑性质进行的,在语言形式上表现为"顶真"辞格,所以也称之为_____________________。
。
,一个二支选言命题,结论是一个直言命题或二支选言命题的推理。
"反二难",是指构造一个_____________________________来破斥二难推理。
,一个联言命题,结论是一个__________的推理。
:如果某三段论从两个前提推出结论,推理形式有效,而结论为假,那么,就可以断定两个前提中_______________;同时,如果断定其中一个前提是真的,那么,另一个前提_____________。
。
。
,一切符合规则的正确推理形式都表现为________,并且视之为可以用数理符号刻画的逻辑规则--命题逻辑规律。
。
二、指出下列公式属于何种复合命题形式:
1.( p→q)∧ p→q 2.(p→q)∧q →p
3.( p←q)∧p←q 4.(p←q)∧ q→p
5.( pq )∧ p→q 6.(p q)∧ q → p
7. ( pq)∧ p →q 8.(p q)∧q→ p
9.(p→q)→(q→p) 10.(p←q)→(q→p)
11.(pq)→(qp) 12.(p →q)∧(q → r)→(p →r)
13.(p → q)∧(q → r) →(r→p)
14.(p←q)∧(q ←r)→(r →p )
15. (p←q)∧(q←r) →(p →r )
16.(p q )∧(q → r) →(p → r)
17.(p q )∧(q←r) →(p → r)
18. (p∧q)→p∨q
19. (p∨q)→ p∧q
20. (p q)→(p∧q)∨(p∧q)
21. (p→q)→(p∧ q)
22. (p←q)→(p∧q)
23.(pq)→(p∧ q)∨( p∧q)
24. p→p
25.(( p → r)
∧(q → r )) ∧(p∨q)→ r
26.(( p → q)∧(p → r )) ∧(q∨r)→ p
27.(( p → r)∧(q → s )) ∧(p∨q)→(r∨s)
28.(( p → r)∧(q → s )) ∧(r∨s)→(p∨q