|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
2 p) B2 } v4 E3 N; lP --> Q, 因為 P 所以 Q) [/ ^1 Y. L6 u- T
1 Z3 E9 Z/ L9 \( Z5 _3 C/ [3 ^
Modus tollendo tollens
+ _1 u M% e; M7 w$ aP --> Q, 取得 ~P 所以 ~Q g# F! A! t3 o/ D) x s
. t. O1 e" N7 n2 q Y, j' i
Disjunctive syllogism# J- e: H0 x+ A9 k5 r2 [8 a
P or Q, 取得 ~P 所以 Q
( W5 ~! d9 j6 ?6 C6 r6 m: BP or Q, 取得 ~Q 所以 P4 B6 y' o7 ~5 U0 G
( a- a! ]6 ?# @9 K3 W! aConjunctive syllogism
/ U5 }8 t) M% p. q R0 N~(P & Q), 取得 P 所以 ~Q& r" d6 p& a9 O/ F' z: g7 o, b
~(P & Q), 取得 Q 所以 ~P
+ n5 I, L: b/ U# w" k% x5 h6 W) ~ F* i+ K' \7 I, a
Hypothetical syllogism
) O: {% a2 b8 r- b6 k% }3 ?: sP --> Q, 取得 Q --> R 所以 P --> R
2 J- `: \7 E2 J: v$ p* B' c9 z; u2 ?
De Morgan's theorem
! P# Q4 K! v" L( H1 ]- e9 s~(P & Q) 所以 ~P or ~Q
! X0 q6 W$ S8 q6 F& O~(P or Q) 所以 ~P & ~Q |
|