|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens% @- g; E5 ~' Q8 b" d
P --> Q, 因為 P 所以 Q) X1 m) }! F2 ^# s
( z- f. @. o6 X9 ~# ~1 Y& }5 S$ n
Modus tollendo tollens: |" D4 | V! L" S3 c) ~" w
P --> Q, 取得 ~P 所以 ~Q
- ^- l7 O) V3 I
7 p& b" _0 N8 E" @8 w- f3 bDisjunctive syllogism
: B, H- p0 b" uP or Q, 取得 ~P 所以 Q
9 a/ Q* y# A2 f+ DP or Q, 取得 ~Q 所以 P% ?" U: e8 V2 Q) S( h
. _, r! I3 a! t" p% v s
Conjunctive syllogism
* X% O( l; `) ]5 |& D# ^, r~(P & Q), 取得 P 所以 ~Q
5 A0 j8 d: J" c, u~(P & Q), 取得 Q 所以 ~P, D6 h' V' a# r1 w! c. x
8 a9 I. [' t7 x- k! @4 V2 i$ q- `
Hypothetical syllogism. y* O% z1 y" p4 S/ m
P --> Q, 取得 Q --> R 所以 P --> R
5 G, v) T3 D. B2 J- T S' ]/ T( O' B1 ~" q3 ~7 e s
De Morgan's theorem- \9 v0 f% g# s
~(P & Q) 所以 ~P or ~Q$ L5 h" r( L( a, E& ~0 [5 L! ~
~(P or Q) 所以 ~P & ~Q |
|