|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens, ~0 o( ~8 S/ f$ G' k* T, {5 `2 `
P --> Q, 因為 P 所以 Q
$ f& \, o4 P( ~6 h ^# O
+ }. r1 z, ?. m" [0 i5 D9 t' bModus tollendo tollens5 j. E& R* l+ f) c# D$ k1 b
P --> Q, 取得 ~P 所以 ~Q' B7 J t: v" f0 [7 d8 F& t9 V
r1 D9 _ r; Q5 g/ W$ J
Disjunctive syllogism) _ F. S9 H& A: q
P or Q, 取得 ~P 所以 Q
( f! a- T8 \! ^" `( s/ t: uP or Q, 取得 ~Q 所以 P
- }% e" [$ ], k% O. F9 [3 u. a4 Z4 [: E0 E- i/ X" h! t2 S8 k' L
Conjunctive syllogism
( G, w( F& ^7 y7 H+ t( L~(P & Q), 取得 P 所以 ~Q
( E- k- @% n2 @3 R2 o# s8 w" K- i~(P & Q), 取得 Q 所以 ~P- V" Z" Y0 l& @) h) i! d
+ r5 i7 \ F7 S1 h. I; p! }4 Q7 K! f
Hypothetical syllogism T% V& L( O/ L7 t3 t8 J/ |
P --> Q, 取得 Q --> R 所以 P --> R
2 |) G% {7 C" k4 a3 W; o$ E% w0 B% p: \0 N ^
De Morgan's theorem
. m; a' g2 W7 \+ V~(P & Q) 所以 ~P or ~Q
6 q% c0 L* l) P2 B: [0 @6 a~(P or Q) 所以 ~P & ~Q |
|