|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens8 [0 I2 G0 B: W/ P1 \) h- X) ?; _
P --> Q, 因為 P 所以 Q
' P! F% V/ l; o# I/ x s- ~; H3 D' v7 ]0 G! |! g g+ Y
Modus tollendo tollens
) L& M0 {6 _. j/ JP --> Q, 取得 ~P 所以 ~Q2 q! B9 E7 l# H: J
; O8 @4 r: u- I
Disjunctive syllogism
9 E2 e* W N5 b9 x: GP or Q, 取得 ~P 所以 Q7 T5 M' l. M* _5 V
P or Q, 取得 ~Q 所以 P# I1 W) z1 Y) K8 B. y( s+ i, u
" O0 Y' s, k& s9 AConjunctive syllogism
1 _ e+ ?- c6 r s8 {1 i~(P & Q), 取得 P 所以 ~Q
# h4 s' v# m% _% F' k8 E: s~(P & Q), 取得 Q 所以 ~P7 b7 u' m6 A9 v
6 ]9 U4 T; m2 PHypothetical syllogism8 r4 H( x1 S; P7 h: W' N
P --> Q, 取得 Q --> R 所以 P --> R
% P- q$ z V o: C% @+ B8 J: X7 W5 y
De Morgan's theorem# j& A' d h( m0 X
~(P & Q) 所以 ~P or ~Q
7 x" d' A6 ^# I0 H: q5 w5 _~(P or Q) 所以 ~P & ~Q |
|