     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens" L5 C) a" C7 W" h6 G
P --> Q, 因為 P 所以 Q
1 C+ |7 N. K/ y/ \5 |0 f6 D" S3 ~% Q* i6 A* A9 S
Modus tollendo tollens
" U* v% C2 l) ^, X8 M7 AP --> Q, 取得 ~P 所以 ~Q& w, }2 l' ?) n4 b7 I9 _/ N
& Q+ f' {+ I/ V' r4 f- r" ]Disjunctive syllogism7 C* F/ S3 n8 ~4 p7 Z9 Q/ N( ^
P or Q, 取得 ~P 所以 Q
$ C( N- m) _+ |% m/ j0 gP or Q, 取得 ~Q 所以 P
& l6 E: p- h. ?0 M; j' v# C. ` ?$ C P+ D7 C( [5 s |. X q
Conjunctive syllogism
. f+ t" Q# P& w/ U, K9 s5 x# C~(P & Q), 取得 P 所以 ~Q
6 d8 r" J {' e~(P & Q), 取得 Q 所以 ~P
9 u* H0 J% r$ h) ]( Z5 g. M
/ ~5 Y5 I/ H. ]( z1 s% _Hypothetical syllogism
% \+ [6 o: I8 C. V' W4 zP --> Q, 取得 Q --> R 所以 P --> R
5 p8 }) A6 b3 _$ W
( c2 T; p7 z8 @% X `De Morgan's theorem
F+ S/ {; u' i ~7 z) g~(P & Q) 所以 ~P or ~Q. J K, M2 ]" Q, P- |4 q( W
~(P or Q) 所以 ~P & ~Q |
|