- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! {, O5 e) o( }P --> Q, 因為 P 所以 Q
$ c, u- P: n7 J6 C$ a! Z8 f' _( ?. ^1 W( ?; @
Modus tollendo tollens
2 ^4 I; ?* c/ V) b% KP --> Q, 取得 ~P 所以 ~Q
; x" a) T, {: A* o
& a9 C8 X% N) T& w5 \Disjunctive syllogism
\( H* q( J3 L% ?& b( M1 U$ tP or Q, 取得 ~P 所以 Q
% F& [$ }0 r* M0 e4 Z% k6 \P or Q, 取得 ~Q 所以 P
g# z* N) b" V& V' q3 W" q; L, I9 p x/ E
Conjunctive syllogism
: L e6 H# w3 V) j l1 _~(P & Q), 取得 P 所以 ~Q3 L- n3 E. u+ l: M) U. ]; P E. A
~(P & Q), 取得 Q 所以 ~P, K: \5 C4 b/ D& t, l% s
# l/ Q% k( G, g5 ^" pHypothetical syllogism a0 @! D& W3 y; W
P --> Q, 取得 Q --> R 所以 P --> R
! Y. W- b+ C$ b8 o7 X$ Z0 u2 r2 `
& e, n; \+ K* N4 {3 |& ?$ nDe Morgan's theorem
5 V7 i4 w# H. ?0 m( O5 K" o~(P & Q) 所以 ~P or ~Q
* W. `* l4 C3 z6 {~(P or Q) 所以 ~P & ~Q |
|