|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens6 f6 T$ V5 j J1 m; P+ y
P --> Q, 因為 P 所以 Q
$ m" \% Z9 p( ?& }. c4 d1 w
T1 x& `: q2 S$ A, N7 _, }$ QModus tollendo tollens
: D% S1 r& I% ^P --> Q, 取得 ~P 所以 ~Q
. M R* @" F) B; s; X: j# r4 E, D) g" {) C7 A
Disjunctive syllogism3 d3 Z7 e) d I' [* U! Q' p5 d. o2 l: ~
P or Q, 取得 ~P 所以 Q; ^- u+ m# a6 w; u9 @
P or Q, 取得 ~Q 所以 P% Z" w5 r: H6 @$ b
: j2 ~. o/ T$ f, Q2 N" a" }9 p" x! ?
Conjunctive syllogism& h7 M1 k1 G/ m m7 f6 v
~(P & Q), 取得 P 所以 ~Q
( Q* M! Q: n" ?3 G. o2 E8 V~(P & Q), 取得 Q 所以 ~P
" s1 J9 x+ X3 i0 b; h$ {$ J( o
5 C* k% l% @" {4 c: X' e7 [- aHypothetical syllogism
& R' ^3 e, c0 t6 |7 vP --> Q, 取得 Q --> R 所以 P --> R
+ o8 j5 b, f0 K, M8 W& y$ M# x2 n
+ O- c v, }* \, K" t c+ ?% aDe Morgan's theorem w7 i* ?6 ^# T$ t" |
~(P & Q) 所以 ~P or ~Q
) `2 R2 D& o2 ^! F~(P or Q) 所以 ~P & ~Q |
|