|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens9 s3 T8 w* b; f& P
P --> Q, 因為 P 所以 Q
% A5 }! E. k7 h0 [
2 T; X' T+ f: f0 p- z# X' ~/ WModus tollendo tollens
( C; U( B. K7 n6 U- @+ HP --> Q, 取得 ~P 所以 ~Q
) U; ?" R3 b# G; H: m2 u
$ R7 q9 h; ]; b( a) KDisjunctive syllogism
/ v7 w. _' j3 n' O$ E" g( ~P or Q, 取得 ~P 所以 Q ]# H5 S$ k; x+ y
P or Q, 取得 ~Q 所以 P5 o8 E0 M4 ^' n% D2 g& p9 g
4 b$ A5 d5 W3 |& ^6 s! {Conjunctive syllogism" p4 p2 q" a G3 a: I
~(P & Q), 取得 P 所以 ~Q4 {; I% M1 n. H8 C4 I! L$ I! Z
~(P & Q), 取得 Q 所以 ~P% u) r, D& Q; R
( c; p F3 s+ O2 D" HHypothetical syllogism. ]* h6 S4 c( Q
P --> Q, 取得 Q --> R 所以 P --> R
: m4 a2 }$ W! P* j. m( Q0 _" P: I6 ^- Q d0 E' V5 A
De Morgan's theorem
& R# }& n% A) @, |6 m, x" X: ]- Q7 C~(P & Q) 所以 ~P or ~Q4 K0 N1 f. m3 T2 ~7 o) K2 V( e7 {
~(P or Q) 所以 ~P & ~Q |
|