     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* @2 r/ H; h% x) e* yP --> Q, 因為 P 所以 Q
4 y7 A+ P5 q' f3 w L% K7 j0 X: R6 [) x( J
Modus tollendo tollens
. b6 g' O) x8 n* ?, CP --> Q, 取得 ~P 所以 ~Q H9 t! o; s" e% d8 P1 g
- U Y, l/ p% X' [) h" QDisjunctive syllogism
9 C: M) w1 P& ~- B6 `# \5 U- K! ^P or Q, 取得 ~P 所以 Q
2 g5 ?. U0 E3 RP or Q, 取得 ~Q 所以 P& Z' J( `* E* X" O
$ \+ E6 ?; E8 M4 C; d' IConjunctive syllogism' t, j1 ~. _0 R$ ?5 T0 I' B
~(P & Q), 取得 P 所以 ~Q$ {% j. }: s0 O) f: i
~(P & Q), 取得 Q 所以 ~P
% {+ E5 I& e/ r# M/ E3 b2 [) T% z8 u- u) _: U; D3 `# F
Hypothetical syllogism
( ~3 Q2 g6 |, v$ ~5 a. tP --> Q, 取得 Q --> R 所以 P --> R
+ ]" b) s5 K4 m
. d8 R8 `; E4 i+ G: T" j3 LDe Morgan's theorem9 Z$ a* I1 i1 o% A. p; Y; L
~(P & Q) 所以 ~P or ~Q
8 a. m9 r& P/ ^3 H, C4 F~(P or Q) 所以 ~P & ~Q |
|