|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
2 L6 d" ]8 A: ?% N# h5 dP --> Q, 因為 P 所以 Q; C6 D' t4 B0 \. k2 U
8 c, g' Z+ B. e6 ~) oModus tollendo tollens
4 N6 g5 q' Q! `" O" {P --> Q, 取得 ~P 所以 ~Q8 l4 C8 m p8 W* i! r7 X
) d8 P! d" Q8 B; k% }Disjunctive syllogism6 p8 k( f" y2 ?. p* D
P or Q, 取得 ~P 所以 Q1 p2 H0 A9 Y8 w) a) }
P or Q, 取得 ~Q 所以 P( ?8 L: h/ C' p2 a/ e
! {, t3 I2 t2 F" kConjunctive syllogism
( F5 u: {# O% g; [, N% ?~(P & Q), 取得 P 所以 ~Q, i) ]$ L5 o5 n: Y
~(P & Q), 取得 Q 所以 ~P
: e1 k7 S, `, {0 ]# y9 [! J% _& j3 Q) s; N& `. P7 T
Hypothetical syllogism
8 V$ \3 i6 e* k/ b0 m/ yP --> Q, 取得 Q --> R 所以 P --> R
( x+ x# x2 t4 H' U r2 R, j c o" W/ c
De Morgan's theorem
8 k% Y. n# Z5 j0 m5 ~. T1 d~(P & Q) 所以 ~P or ~Q. S' E- \9 N" |+ q; \7 d
~(P or Q) 所以 ~P & ~Q |
|