     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ Q+ P2 X4 r0 G- u* n( P" I: L& zP --> Q, 因為 P 所以 Q
3 w/ H/ Q6 i' |2 d3 s# M9 d1 s2 U; U: O4 z8 P
Modus tollendo tollens
, L! ?4 E4 B! u ?0 z1 C- fP --> Q, 取得 ~P 所以 ~Q
( f) t( |# c9 o+ P& k) J* M6 I- t0 h7 @, g* ]
Disjunctive syllogism3 A* P" I) ]7 i. C6 x
P or Q, 取得 ~P 所以 Q
/ t- g+ l+ j3 Y5 i9 [9 l' o PP or Q, 取得 ~Q 所以 P1 y) ^ ~: h2 _' h
4 Q& V4 \; q$ D& }7 [2 |0 J) m, {Conjunctive syllogism3 A4 [- P( o' {& M7 o2 Z( G
~(P & Q), 取得 P 所以 ~Q' T$ s3 T8 b% r: _9 {* F& U
~(P & Q), 取得 Q 所以 ~P0 [) Z) s4 R% u( C6 G9 C
( D9 k) ]& m1 `: v" s! I/ J+ iHypothetical syllogism
% h' L r* k9 d* ~5 r' kP --> Q, 取得 Q --> R 所以 P --> R
- q" }5 }$ H1 Z* L: _9 n6 n5 W! @, ^7 f+ {3 c
De Morgan's theorem
, m! ~# \5 ^& c" j~(P & Q) 所以 ~P or ~Q
1 z3 E6 a! [ w" i~(P or Q) 所以 ~P & ~Q |
|