     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens) L" |* w2 M9 X K
P --> Q, 因為 P 所以 Q! h& U/ I" U6 V- `
" c- i) _. I2 L2 E
Modus tollendo tollens* ` c" I; P, X8 q
P --> Q, 取得 ~P 所以 ~Q
9 ~( t8 \9 d2 @; V3 b) p
l# Z. J/ U! |. E# C% s7 HDisjunctive syllogism
/ q8 I2 ?* _6 e* H( H+ M" l; NP or Q, 取得 ~P 所以 Q1 l, s6 k! _0 Y. c4 K' Z
P or Q, 取得 ~Q 所以 P
+ n1 |9 j2 f4 [4 @1 B' E
4 D8 V' v$ n( J; k% J1 F ~Conjunctive syllogism
. `0 Y6 l& ^: l~(P & Q), 取得 P 所以 ~Q+ J0 o0 k9 {: p# x* t
~(P & Q), 取得 Q 所以 ~P
1 K: @. r- ]+ r+ S; P' Q7 \8 q+ ~* {) R9 q
Hypothetical syllogism- }- w# X8 e" F0 Q5 B3 d
P --> Q, 取得 Q --> R 所以 P --> R9 }! Z' y9 ]/ I" |
& h: ^. y! b8 Q6 F8 g+ a" D+ I% rDe Morgan's theorem
% N- o. o# `. H% A9 N! ?~(P & Q) 所以 ~P or ~Q
; |7 \! r& G' ` c~(P or Q) 所以 ~P & ~Q |
|