|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: `# B* d% P E9 e) pP --> Q, 因為 P 所以 Q5 W: U( j! G% \: V8 }
% m7 u5 e4 [4 S# I7 x9 B1 Q* OModus tollendo tollens
/ ~" J# a, ]3 CP --> Q, 取得 ~P 所以 ~Q
5 ?& P8 Y* C/ P; W1 v; q0 o* Y# n) h& V/ J- f, W+ z; t* ^: H0 G
Disjunctive syllogism
0 `$ }# N! f6 [P or Q, 取得 ~P 所以 Q
8 B" ?. T- W/ G/ JP or Q, 取得 ~Q 所以 P- q f2 p4 v; `& U
& r5 N! x# L! [, L9 c1 C
Conjunctive syllogism
4 [- J. Z6 J2 P; R- ?. s/ M& m~(P & Q), 取得 P 所以 ~Q ~+ O; @, F) K+ p# k/ e
~(P & Q), 取得 Q 所以 ~P1 H. U" u4 h$ R2 y; G
. D: f( `3 y9 M8 ]Hypothetical syllogism6 v( S: c7 F a- D; _/ _3 r# T$ B
P --> Q, 取得 Q --> R 所以 P --> R1 v5 P4 q8 l& [# f* L. t% o
+ Z" u/ e" l, s' L- [& eDe Morgan's theorem
o3 G: p( }& \3 m; J8 ]+ T~(P & Q) 所以 ~P or ~Q+ e& R& B5 S3 R+ c
~(P or Q) 所以 ~P & ~Q |
|