     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 k; V8 p e/ {6 x8 \4 w! CP --> Q, 因為 P 所以 Q$ n- [$ b- ^& u: J" I
1 Y. ?- A' Y7 e$ P0 N1 l' L4 J
Modus tollendo tollens, K+ M% D& X- ?' K" A2 F
P --> Q, 取得 ~P 所以 ~Q
, |% A4 E j4 N" ]7 g8 I+ X4 b- C) \/ c( g4 R
Disjunctive syllogism
# A, `- h2 D7 y" h5 EP or Q, 取得 ~P 所以 Q
, Z9 | I% t7 dP or Q, 取得 ~Q 所以 P
4 F: N: b; t6 M- W# E6 `0 t: d1 k/ @- Y' B
Conjunctive syllogism
7 @6 t2 |, K, {) [# F~(P & Q), 取得 P 所以 ~Q- }5 e: R# b) ?7 @' u$ M8 b
~(P & Q), 取得 Q 所以 ~P
7 O% y j+ L2 g2 d8 X' E1 i# j" [, Y' |2 v( I J) S
Hypothetical syllogism) [& ~! L V" E7 n
P --> Q, 取得 Q --> R 所以 P --> R) }1 r8 \2 v+ f
5 R: S8 h3 u9 Z( k* D* r, W1 GDe Morgan's theorem1 z, s4 q) w* `6 {" l
~(P & Q) 所以 ~P or ~Q: N1 q3 E4 `1 I" H S- j, w
~(P or Q) 所以 ~P & ~Q |
|