|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: b: `4 R/ `& z) _
P --> Q, 因為 P 所以 Q# S" q1 S. ^# K9 C3 _$ S$ i
7 K! D* b2 @$ s v H# Z% n
Modus tollendo tollens
. ]; D, z! T: C% R; ?P --> Q, 取得 ~P 所以 ~Q5 O3 F& x& o, f4 _, k+ s
* y7 w; w: d) M3 G- ?Disjunctive syllogism2 Y& Z5 _$ }& _6 p# H
P or Q, 取得 ~P 所以 Q
/ y- {1 N! q6 C3 ?+ WP or Q, 取得 ~Q 所以 P9 ?! L5 V- u' g# Z- j0 ]3 d( e6 E
7 ^# _" K7 M" [* ]/ E: p, t
Conjunctive syllogism
+ k, R5 O/ e) x5 l) S~(P & Q), 取得 P 所以 ~Q
x- K! c J- Z0 E~(P & Q), 取得 Q 所以 ~P$ t1 F( p1 H% s/ W l% g, Z
- i( c0 N3 ~% B0 l2 iHypothetical syllogism
) Y$ |1 O" N8 K4 O. k2 j5 MP --> Q, 取得 Q --> R 所以 P --> R
5 f( Z; U0 r" E9 p4 K- I
+ y6 k% E. K% \. d4 ~De Morgan's theorem
4 Q+ h, M/ J, |$ r+ j: B2 J2 a* r~(P & Q) 所以 ~P or ~Q
3 H) F" y% ]1 Q% t& n/ T~(P or Q) 所以 ~P & ~Q |
|