|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens" u8 n6 o [: C1 K4 ^
P --> Q, 因為 P 所以 Q0 G1 k$ N2 s3 V9 H
: p$ W) K) q2 J; k: y% ^; \+ hModus tollendo tollens0 A \1 z m! [4 Q
P --> Q, 取得 ~P 所以 ~Q
0 t6 g1 r! U$ J b9 J. O/ y) G- d( I* [" R9 u9 J% ?
Disjunctive syllogism
+ e. _5 L& B3 q' p4 N" U* ]P or Q, 取得 ~P 所以 Q
/ Z( S7 R' j/ _# b* g* O! GP or Q, 取得 ~Q 所以 P) v3 s+ e4 v9 T7 r0 D J0 I
: K9 U: Z) {! ?0 K! TConjunctive syllogism
# E4 o" B: c2 E* j! k/ r' u5 o~(P & Q), 取得 P 所以 ~Q
- S# [9 T I/ |. c: I, X9 u3 e~(P & Q), 取得 Q 所以 ~P9 U% s/ Q* m* [
$ }- s2 |& }7 ?9 ]* [
Hypothetical syllogism. I5 Q5 D0 f* D) H3 g7 F5 E
P --> Q, 取得 Q --> R 所以 P --> R
, ?5 P2 C$ t: c3 ~, }, j$ f, a* A; b! g! \ y
De Morgan's theorem+ Q/ ^9 `9 v4 B1 C
~(P & Q) 所以 ~P or ~Q& h8 I9 H: ?( h- j
~(P or Q) 所以 ~P & ~Q |
|