|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens0 v% c q z9 E; X
P --> Q, 因為 P 所以 Q
' S9 ^, Z5 G0 v5 {* V" D9 J
* d7 \0 H3 k6 m( H. bModus tollendo tollens
# m9 Q" B7 l |) X( `P --> Q, 取得 ~P 所以 ~Q
& E8 ^" ]+ D' U0 R8 O
% s0 M* q4 b3 s- s, r% t- M8 GDisjunctive syllogism; q- l# F" Y3 p' m: k7 R* M
P or Q, 取得 ~P 所以 Q
4 T1 e; z3 n. {1 D( iP or Q, 取得 ~Q 所以 P
) y) F; }& L6 R5 K$ X. _' Q* o3 ^/ x8 J
Conjunctive syllogism [0 _% a, x7 N/ f% R
~(P & Q), 取得 P 所以 ~Q
) Q( a: \2 l6 s( V6 Z- H~(P & Q), 取得 Q 所以 ~P
) Y+ b1 T# y, o/ Y- U
* D0 A9 `$ v R( j& a! UHypothetical syllogism
+ a) j4 ]5 A4 `3 X8 }/ ^. K1 h2 ]1 XP --> Q, 取得 Q --> R 所以 P --> R
9 [( H* e+ L9 @( T/ C; V9 | x& P$ G- m; C- B( a
De Morgan's theorem
2 C1 q% d5 c5 Q& X! E& \~(P & Q) 所以 ~P or ~Q
* u4 W/ i" _7 A$ y~(P or Q) 所以 ~P & ~Q |
|