|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' a4 `, [* S$ rP --> Q, 因為 P 所以 Q- {3 C9 C: w: C2 B
9 b( j9 ?. @% Z) q% L. LModus tollendo tollens
: e# s3 N# ~& TP --> Q, 取得 ~P 所以 ~Q
2 B) w3 [. u$ x- o) F/ B
& }$ m* s# o' J4 i+ mDisjunctive syllogism& W: m# Z6 ^7 T; z# C7 e* b
P or Q, 取得 ~P 所以 Q3 F: p) p; _* F) _ ~# c z- j
P or Q, 取得 ~Q 所以 P0 G- @2 l; I |
+ i8 e; f2 W: Q2 f
Conjunctive syllogism
0 M+ W; f1 p5 g) M* H. n~(P & Q), 取得 P 所以 ~Q x* }* h1 L: b+ T: a) v0 V
~(P & Q), 取得 Q 所以 ~P5 I4 F( g( J l6 }
+ v# X9 E+ o+ N: T/ }3 QHypothetical syllogism
; T, w- E0 R& Z. OP --> Q, 取得 Q --> R 所以 P --> R( P# T1 C1 R0 K2 {4 u# A$ R h
/ U/ k* h. J5 z: W: e* M) RDe Morgan's theorem' g# o7 E7 L; K
~(P & Q) 所以 ~P or ~Q# K/ t! H8 m6 p. @% P
~(P or Q) 所以 ~P & ~Q |
|