     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens. S* y. a2 H# k8 F0 w* |5 ^* z$ {! F
P --> Q, 因為 P 所以 Q7 c/ n) \0 a8 j* k
% O! `! _& I: rModus tollendo tollens; w+ X2 J4 u! L
P --> Q, 取得 ~P 所以 ~Q: n. W; J: P6 _7 n1 X$ ^% `
6 o: K7 z4 l/ [Disjunctive syllogism$ T) {' M" A! ~" Q! Z
P or Q, 取得 ~P 所以 Q
# x+ o) O$ w9 T$ @P or Q, 取得 ~Q 所以 P
9 @7 s; ~; D$ }- l( e8 l# Y+ C! t7 {; ~+ x
Conjunctive syllogism& V& X' H; w4 @/ f6 V9 E
~(P & Q), 取得 P 所以 ~Q
9 W; @# X F" @( b3 T8 y3 ~~(P & Q), 取得 Q 所以 ~P
) J2 @' d5 k) S6 P5 Z! t; O# j8 l9 p! q; S% o5 v- F8 w1 p
Hypothetical syllogism$ {( ?& Z7 c* `8 P9 M& Z \, t
P --> Q, 取得 Q --> R 所以 P --> R
0 i6 `0 U8 v. Z: v+ D
( U! Q' b" i' i2 b- F* }De Morgan's theorem
! K5 y9 R' z* u2 m% ]& K~(P & Q) 所以 ~P or ~Q
8 |3 i% p4 z- G8 l/ d~(P or Q) 所以 ~P & ~Q |
|