- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
( c' O; a. j& R, v a+ JP --> Q, 因為 P 所以 Q6 J4 H8 W3 l9 T9 m
! U+ k7 x2 N6 v' [" q; R
Modus tollendo tollens
' f: J8 N3 w/ O: }4 G/ [P --> Q, 取得 ~P 所以 ~Q
( y4 B; \, k$ U1 H3 s2 y* H) P
q2 @4 L7 i* ]- A1 S# cDisjunctive syllogism8 l- A4 ^2 [3 ^4 Y3 v7 I" M2 ?; _
P or Q, 取得 ~P 所以 Q
u( ~0 [" v O, `4 \+ L/ G3 u- MP or Q, 取得 ~Q 所以 P' C) q7 p( v# K8 n
, t7 \: _) b( b" i0 _: P
Conjunctive syllogism: E% Q8 l, `4 ?6 U ^3 I2 b
~(P & Q), 取得 P 所以 ~Q( ?, B7 q3 ?- G9 P
~(P & Q), 取得 Q 所以 ~P
! F5 I2 {2 O4 `) K/ k) x# d7 H- I2 _& I0 b0 f7 j p
Hypothetical syllogism7 `+ K+ O y U% K5 ]- T; z
P --> Q, 取得 Q --> R 所以 P --> R
9 }- n5 n8 o5 u
7 J: {" m& X, s/ I: L$ \De Morgan's theorem
9 \. s; v2 T$ t! g6 R* j1 x9 r, k~(P & Q) 所以 ~P or ~Q
, i5 f D8 B, B~(P or Q) 所以 ~P & ~Q |
|