|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* W j7 D* \8 J( B! K1 IP --> Q, 因為 P 所以 Q
3 A) d: `& G6 x+ L7 p
5 D0 w# B6 s9 e: H) ?) SModus tollendo tollens* A$ U& t7 t; Z; U
P --> Q, 取得 ~P 所以 ~Q
. h% V+ m; h) h' t8 U. z6 E; A9 g/ t4 _7 d- O! E% b: g
Disjunctive syllogism
8 F' W- k9 J+ [3 u# j8 q ]& eP or Q, 取得 ~P 所以 Q
; @: v: R+ Q3 a7 r& i4 u1 z2 SP or Q, 取得 ~Q 所以 P+ y* V" v d# X
9 c% m) } @# W: V0 H7 u
Conjunctive syllogism( e1 o! i. C6 q8 g J+ D
~(P & Q), 取得 P 所以 ~Q$ o$ ]/ j; A& r, A5 @
~(P & Q), 取得 Q 所以 ~P& l: r/ r6 T! O& t- J& Z" X1 T9 ^
# X5 K0 O' b, s6 w/ B1 @0 Z w
Hypothetical syllogism! ~5 D9 b% _3 [2 p7 V# b& @
P --> Q, 取得 Q --> R 所以 P --> R
2 h* {; s5 I/ G1 Z0 } D9 j: I' f! {* l V2 |# {1 e
De Morgan's theorem
/ H( o8 W: M+ s0 C~(P & Q) 所以 ~P or ~Q
7 F* V5 A1 c4 Y+ A* f~(P or Q) 所以 ~P & ~Q |
|