|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# D' T& B/ i/ I
P --> Q, 因為 P 所以 Q+ }/ R8 s \6 Q( U- z7 r+ w9 d
" ^1 o5 `! p% h$ n- q9 h1 [& T) zModus tollendo tollens
+ H& x. R+ R! L; GP --> Q, 取得 ~P 所以 ~Q
4 R5 @! V7 |# z& V- F6 N! }5 \* s7 |9 L8 _- o- e9 Z
Disjunctive syllogism
: n$ m- h" y0 @P or Q, 取得 ~P 所以 Q
: o. t; p$ j. K- p6 V+ vP or Q, 取得 ~Q 所以 P8 b, p- y% r0 B4 L# o1 m3 G
6 f) N7 ~! n/ ~6 U& k5 e9 oConjunctive syllogism! p8 f3 W/ W* ]% K+ @4 D
~(P & Q), 取得 P 所以 ~Q
- P% N) e# K( p( N `$ z- a2 W~(P & Q), 取得 Q 所以 ~P
: ~0 s' H- j% r3 U1 j3 M8 e+ j1 t& A, j1 P
Hypothetical syllogism8 ^* r6 n6 H# j9 i
P --> Q, 取得 Q --> R 所以 P --> R9 o/ T: ]1 d6 h+ A1 a5 V
/ L& H2 I7 b9 D& ^3 E$ [# Y& `" a& M! D
De Morgan's theorem/ Q- Z9 X# x8 L; j1 m
~(P & Q) 所以 ~P or ~Q! r- R" `3 A. X7 |
~(P or Q) 所以 ~P & ~Q |
|