|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens5 h0 \9 y8 p' T0 y' h
P --> Q, 因為 P 所以 Q
2 ^/ A' V% N, t2 {8 W0 v4 E' t3 N: y) R4 ~' h3 i* x% L1 f
Modus tollendo tollens! V' _) E& d6 T% G3 q% o/ L
P --> Q, 取得 ~P 所以 ~Q$ ^2 I' D) H' m
, y* S* [: G9 rDisjunctive syllogism
3 T- b* W. U! P) }9 @# G: wP or Q, 取得 ~P 所以 Q
+ ?- f0 M# E/ uP or Q, 取得 ~Q 所以 P
( H" q, ?$ z8 b: O: X! K; A: U& F4 P- Z/ U4 v# `
Conjunctive syllogism1 M1 l7 P* v. ^( j" M9 I p5 E v
~(P & Q), 取得 P 所以 ~Q
: l; `4 p2 j' n3 @: S( `; [~(P & Q), 取得 Q 所以 ~P. D; m. ~' Y- w2 s9 ^0 u1 A7 U
) \: S, e" \& L% w
Hypothetical syllogism
4 i k$ w- Q) t: S+ z1 u' f, SP --> Q, 取得 Q --> R 所以 P --> R# Q# O- ^" o3 h3 ]. F8 |5 m
! F; i. I" q- M; A$ v; M. R4 l: gDe Morgan's theorem
9 c' H) q3 l: ~; Z1 ]* g~(P & Q) 所以 ~P or ~Q H4 e2 O( |* p2 k
~(P or Q) 所以 ~P & ~Q |
|