     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens) w( z: d1 a' G3 }" U0 V1 T
P --> Q, 因為 P 所以 Q! s: ]9 ?4 W5 g% _
+ X; S' [2 u* \% ~) D
Modus tollendo tollens+ ^$ f% h5 w. E! K) |# y9 Y" ?; y
P --> Q, 取得 ~P 所以 ~Q
- C/ R4 Y. Y) [8 b$ O* T+ J5 J! ^: h( K8 S
Disjunctive syllogism
7 a5 J! S* w; z+ A+ f$ ~! w! ]P or Q, 取得 ~P 所以 Q! g, o2 p$ E$ A- `8 a7 ^
P or Q, 取得 ~Q 所以 P2 \' G3 G! E8 V7 ?/ x M! {# {; x
# U! b4 }- @' f& o7 z7 wConjunctive syllogism6 ]" x3 l% ?7 K" U: z$ ]6 V1 R
~(P & Q), 取得 P 所以 ~Q
4 s. q4 U" V# H* P, z~(P & Q), 取得 Q 所以 ~P
7 N! t" `1 U. i5 N$ ] \7 d" o$ J8 g B5 n. }( y
Hypothetical syllogism- b& t# t( G# r/ T7 e0 S4 ]# P
P --> Q, 取得 Q --> R 所以 P --> R& c9 b X$ U' G9 o# l8 I5 f4 f7 j1 A
3 t4 p9 Z9 p4 O+ r" |1 yDe Morgan's theorem
# ^+ t" N; |6 U9 h3 s6 [~(P & Q) 所以 ~P or ~Q. t3 ~% `* y; B9 X
~(P or Q) 所以 ~P & ~Q |
|