|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens9 T0 m( Z+ @2 t8 |$ G+ [% V1 N6 X
P --> Q, 因為 P 所以 Q, J* m8 I9 ]( B+ c
) L3 H( V- J5 z! [, Q* YModus tollendo tollens& M/ Q( m& U, l
P --> Q, 取得 ~P 所以 ~Q* D4 J1 Z. m1 G c) @, B
$ {0 d% E2 f5 _8 R3 L$ Y2 l% c* ZDisjunctive syllogism2 V! X- S, t W% s
P or Q, 取得 ~P 所以 Q3 z; \9 L+ ]+ V6 |% c
P or Q, 取得 ~Q 所以 P
9 n1 t! Z- B& R5 Z$ e- s q1 G( [9 k* r5 }/ j6 D
Conjunctive syllogism) N) e5 D3 L E! K) }- \4 K7 G# L
~(P & Q), 取得 P 所以 ~Q: p$ _4 B, V5 |3 q2 ^/ {3 }
~(P & Q), 取得 Q 所以 ~P' L+ F- _7 i" M& G+ N8 J4 L5 m/ `
" V/ {$ T' n* i8 m( K- XHypothetical syllogism
5 x$ d6 h# r$ G8 m3 PP --> Q, 取得 Q --> R 所以 P --> R2 b2 t4 h+ q6 g
) K, s8 Q1 }* j7 v6 O9 T B/ E
De Morgan's theorem! k' g% ~+ f5 Q; u. R4 z7 h: v
~(P & Q) 所以 ~P or ~Q
( y' N& K) N: I( M# o: }~(P or Q) 所以 ~P & ~Q |
|
