|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: Y" Z2 j$ @. R! X3 {9 |P --> Q, 因為 P 所以 Q
2 \! `+ B: }0 C8 G1 ?* A/ I4 V2 {6 o8 r/ e5 ?2 L
Modus tollendo tollens% t2 h. W) w- K6 |7 X x) l0 R
P --> Q, 取得 ~P 所以 ~Q' Y# |9 z/ H1 e3 z" S3 I/ L* s
1 W; x& w7 f! B: X
Disjunctive syllogism
* Q4 T' P1 b. h* rP or Q, 取得 ~P 所以 Q6 P6 S5 i9 U) O7 x0 B: W
P or Q, 取得 ~Q 所以 P
9 D1 {0 q3 z2 D& n% [! ]; o# A& l4 ~3 h/ _' K0 k7 l7 p
Conjunctive syllogism, G# D) [$ S+ x1 G% k& p
~(P & Q), 取得 P 所以 ~Q/ q7 K( H: s1 k( X. ~/ c
~(P & Q), 取得 Q 所以 ~P
. l d N- f( w! y9 u1 Z8 `+ L# v5 E7 O" A2 O8 ~# E. t# r& e
Hypothetical syllogism
' F7 _, V3 v" fP --> Q, 取得 Q --> R 所以 P --> R
1 U9 G2 y& ?4 r: n5 X3 \0 G' j2 z0 ?
8 w6 p0 Z8 B0 m* i5 M9 IDe Morgan's theorem
, u7 m3 n7 d: K O3 }~(P & Q) 所以 ~P or ~Q
$ |0 y, h# C e* w5 G( T~(P or Q) 所以 ~P & ~Q |
|