- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' W4 V! V4 _; k( qP --> Q, 因為 P 所以 Q
3 q7 W# G* @% ~ \5 a1 n8 u4 \% V
Modus tollendo tollens
/ W8 m$ W0 M) J# O4 `1 b- t3 P1 d: T, A6 fP --> Q, 取得 ~P 所以 ~Q8 Q5 \& n, I% B/ ?% Q) a1 u3 S9 ?5 |
% o. A% ?* ?9 T/ [& [8 B9 L- V. U
Disjunctive syllogism
, t* [# b5 Q1 [4 n9 y# JP or Q, 取得 ~P 所以 Q
, _3 B# W4 A2 RP or Q, 取得 ~Q 所以 P6 d1 x# [ ]3 B) k9 W: v: _
* z, ], \# J' _ i) ]% Q2 q8 |Conjunctive syllogism/ e. Q* P( `2 n
~(P & Q), 取得 P 所以 ~Q0 g1 Y5 l7 T* S8 t0 I q3 k4 h; m
~(P & Q), 取得 Q 所以 ~P
( X7 o0 v: f) b8 f! X
2 z, c3 \# g) N" t( V+ A. ]: N: q EHypothetical syllogism
$ n; u/ x9 V$ {P --> Q, 取得 Q --> R 所以 P --> R% m9 o" _; W# H
+ m4 E. j2 b& t, G2 W M3 ?- d
De Morgan's theorem+ ^& ~* o/ _* ?$ L
~(P & Q) 所以 ~P or ~Q
; S( M+ v1 p3 S6 G3 d8 {; B~(P or Q) 所以 ~P & ~Q |
|