|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! O# K; I3 i. h" t. J, f; N& l BP --> Q, 因為 P 所以 Q
, y9 w9 K3 b7 x- X8 a$ }" k/ q
' M+ ?* F0 j* r% U3 @. fModus tollendo tollens& }9 Z# }' s: }" v
P --> Q, 取得 ~P 所以 ~Q
& u0 K/ R) | L& h, s
/ x) S- j% e4 c6 m. G; hDisjunctive syllogism
1 j l8 j. k) }! H1 wP or Q, 取得 ~P 所以 Q3 L5 k9 r! E) ^
P or Q, 取得 ~Q 所以 P
- x; r u2 I" z% W; N: B& [% u q3 f: Q0 u
Conjunctive syllogism$ x$ _0 I3 E- r( f; ^9 M
~(P & Q), 取得 P 所以 ~Q
/ |$ b( K. k" G- H8 w9 A& D~(P & Q), 取得 Q 所以 ~P: j1 a* ^. i; J2 ^2 [" j
/ ^: T, x7 ^* U {/ h! v2 _
Hypothetical syllogism2 O' T: q5 n L d* _
P --> Q, 取得 Q --> R 所以 P --> R
; Q; T; f9 } k& \% z/ _: O" e5 s+ |+ ?: k, f1 Z
De Morgan's theorem
# M) P- {8 Z# p+ a~(P & Q) 所以 ~P or ~Q
& g# F7 l8 g/ |' Y- E~(P or Q) 所以 ~P & ~Q |
|