     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
; w: t+ G) d$ FP --> Q, 因為 P 所以 Q5 c% j- Q8 m1 Q% g
) k3 m8 T3 g& D8 l" u9 U
Modus tollendo tollens7 e2 T6 U9 L- W' G4 k3 F( C9 D
P --> Q, 取得 ~P 所以 ~Q" E$ t; P1 r" m7 ]+ b) s
5 Q& R; i6 p: `, @0 nDisjunctive syllogism2 L0 H- X/ N# F
P or Q, 取得 ~P 所以 Q1 |8 Q# }: H3 A9 N2 R
P or Q, 取得 ~Q 所以 P6 ?* x5 k4 @+ q7 p
+ H$ v6 `' N& J9 ?+ D7 G9 G# C- l
Conjunctive syllogism* I7 C; L* Z8 p1 {: a, b
~(P & Q), 取得 P 所以 ~Q
% _" C8 q1 o+ T$ \% v4 S' n~(P & Q), 取得 Q 所以 ~P
1 y% v0 f" Q% W$ Y% ?+ a0 M1 r5 t5 A/ f" t
Hypothetical syllogism
( S& |/ g5 \' p$ G6 V! ~P --> Q, 取得 Q --> R 所以 P --> R4 m9 o5 U% `, O+ q' R2 z. r
3 }2 o6 R' I5 d/ `De Morgan's theorem* Y8 C3 u8 U' h2 X3 Z, N
~(P & Q) 所以 ~P or ~Q
. {6 _) ^3 v7 u~(P or Q) 所以 ~P & ~Q |
|