|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
5 w/ y, M: R1 b0 K+ [P --> Q, 因為 P 所以 Q
' I+ C4 A H, {- o- e* Q; l# c" H9 J x4 T. ?# D
Modus tollendo tollens5 N) [% t1 x3 x2 V
P --> Q, 取得 ~P 所以 ~Q
$ o# o/ _% y$ {% k8 J$ }) O
) {, Y8 C* C2 e& n1 A1 \3 ]$ J4 P# \Disjunctive syllogism
7 P" [* H. v/ W P! c) P$ M" `) mP or Q, 取得 ~P 所以 Q
: ]; Y- f, Q$ w0 R* s) v5 GP or Q, 取得 ~Q 所以 P
. ^4 t* Q- G, i# I' X5 n1 x: F6 @/ G# l" U2 P! @' F9 k# o
Conjunctive syllogism3 }: t0 P, O/ i$ F
~(P & Q), 取得 P 所以 ~Q) v0 m: k' z5 o4 F; B6 m
~(P & Q), 取得 Q 所以 ~P
+ t1 E9 e1 L( K( f. }3 h) F
+ g/ i" {6 H7 Q- J+ n$ fHypothetical syllogism
8 @( ]7 r8 a! _' [' QP --> Q, 取得 Q --> R 所以 P --> R) X' ?6 s0 E6 j1 Y* ]( w& r
# t8 C1 T0 i/ q( ZDe Morgan's theorem2 o( k. R3 b( B6 ~& s
~(P & Q) 所以 ~P or ~Q
+ Y( S# k5 m' @: k }4 Z8 B~(P or Q) 所以 ~P & ~Q |
|