- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 _2 z. h2 s5 b) Q! z' MP --> Q, 因為 P 所以 Q
2 n/ J9 D! B6 I6 [7 U1 a1 K3 o3 Z% ?7 Y# C; `
Modus tollendo tollens, y4 @6 X2 ?0 J
P --> Q, 取得 ~P 所以 ~Q
+ j; w0 v; x6 z& y. Y; {
4 B3 l% e6 _& n" h1 R) SDisjunctive syllogism% E% U+ I2 U! s8 I, l
P or Q, 取得 ~P 所以 Q$ O4 R) b6 j( S5 ]' N
P or Q, 取得 ~Q 所以 P. J( `" C ~: U$ A# r
9 e7 @4 s: p; C0 H: ?7 ^+ ], g
Conjunctive syllogism, t3 L$ \3 o% ?3 [1 ]3 T
~(P & Q), 取得 P 所以 ~Q
6 {+ W& J3 H; h) p1 D& r~(P & Q), 取得 Q 所以 ~P( q5 k; Q/ e; J2 k7 |
8 ?2 }) ?& E% i9 F
Hypothetical syllogism
/ j0 Q9 E4 Q1 T" T5 JP --> Q, 取得 Q --> R 所以 P --> R
6 N" p: H: A+ ]9 X" i4 t# U; a$ |* o ?: ]5 q
De Morgan's theorem% ?" P6 I# D* a
~(P & Q) 所以 ~P or ~Q
" D, f% U& `9 U* n( o" _3 c- s~(P or Q) 所以 ~P & ~Q |
|