     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 o6 x# a# \8 bP --> Q, 因為 P 所以 Q v5 p1 [& b) k2 y* d: Q
# B+ `" Z$ f* h/ g2 |7 d3 b
Modus tollendo tollens
, e7 ~8 I/ Z+ S0 `/ S% e2 wP --> Q, 取得 ~P 所以 ~Q
* e( @% k- G" O8 H* X8 u+ e8 B) h, p7 a: C
Disjunctive syllogism
1 p, k8 I6 V, g' H" M \P or Q, 取得 ~P 所以 Q
" W& L# L/ K. r# M: l s9 t( mP or Q, 取得 ~Q 所以 P
) ?; Q2 r) s, X! o& n! V/ b
* w4 j* Z4 O W- ^# S1 CConjunctive syllogism
& }* x' z3 o" |( v# u~(P & Q), 取得 P 所以 ~Q
( t4 @) ~3 Z5 d8 [' W* u5 w, G~(P & Q), 取得 Q 所以 ~P
+ n5 I3 b) A3 e% ~/ }5 z9 d& B( ?; t4 J, E
Hypothetical syllogism
+ y9 D, F8 Q. k9 u; s: sP --> Q, 取得 Q --> R 所以 P --> R
+ j, q0 M; d l7 t4 q% g) ?2 ^4 n# k- c; d$ w8 p% J% ?6 G& d) a
De Morgan's theorem
( A5 o; I& t& V- G, {2 ^0 x/ C) g~(P & Q) 所以 ~P or ~Q2 i; o) a' F2 z" j% R3 i
~(P or Q) 所以 ~P & ~Q |
|