|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' A G. x P, @, E& k) UP --> Q, 因為 P 所以 Q
+ Y7 m2 f1 V; ^, L8 w5 {3 ?& j! ]/ `/ ^6 K7 G0 H
Modus tollendo tollens, n h5 T+ Q9 l! w) R
P --> Q, 取得 ~P 所以 ~Q
/ C2 n" D2 c- |) x, o) D) ?' y$ N$ D/ B( i( y$ r) x- E
Disjunctive syllogism% R1 g. C# w7 s- L+ u/ M. S9 x
P or Q, 取得 ~P 所以 Q, k3 P4 H$ h- B
P or Q, 取得 ~Q 所以 P* Y/ J) y9 E1 P
( \& o* d8 [) ]. I3 x/ _Conjunctive syllogism2 o! Y8 l2 t9 @3 T8 U: f
~(P & Q), 取得 P 所以 ~Q
F7 V) v$ w4 i6 @ R! S+ W~(P & Q), 取得 Q 所以 ~P
k2 I# ^: K# ~2 Q9 ^* V
8 V) D4 e3 f$ m! M( bHypothetical syllogism
: W6 C9 @" x& o4 I* n' r. P& X9 _P --> Q, 取得 Q --> R 所以 P --> R8 m& n2 q3 m; m9 n% I
4 M' T$ a9 I: n& w& E) wDe Morgan's theorem2 `2 o9 u8 C3 G3 m. i6 ?
~(P & Q) 所以 ~P or ~Q- O0 N8 \' M4 n: {4 x3 ^9 w
~(P or Q) 所以 ~P & ~Q |
|
