|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* E$ }9 G: i: t a; S9 bP --> Q, 因為 P 所以 Q
' o4 g9 H0 a- D% a0 n2 T* ~0 y* R+ n, m& u9 T1 `
Modus tollendo tollens
# g' }* W$ u; [P --> Q, 取得 ~P 所以 ~Q
% U" O$ s0 Z! @' @8 n/ C* h1 W4 T
' `4 `5 u4 s, F6 _0 }Disjunctive syllogism
, L' b1 c% l# W9 @4 Y% a" FP or Q, 取得 ~P 所以 Q& a# y8 O5 i4 ]! H; Z
P or Q, 取得 ~Q 所以 P
7 [+ g- f# W9 d3 t: Z+ u# x3 w6 w4 U; |- w
Conjunctive syllogism, x/ P% t- B' q9 v+ {
~(P & Q), 取得 P 所以 ~Q2 h, Y% P% c) N" l. T
~(P & Q), 取得 Q 所以 ~P
Y% m* T6 [7 |2 a7 ~6 I% r3 h2 G o8 N0 m% [) |, |* D T
Hypothetical syllogism2 [* M+ u5 ~6 p. ~- T, Y
P --> Q, 取得 Q --> R 所以 P --> R, _6 p) [9 p/ O7 K
) G8 @6 f8 I* Z! B* U6 @% Y& `
De Morgan's theorem
7 l2 C/ n6 f9 H" y, c9 }~(P & Q) 所以 ~P or ~Q
* |) ^, i. @- R! O0 m# b~(P or Q) 所以 ~P & ~Q |
|