|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
4 W) K/ h! P0 k. r: dP --> Q, 因為 P 所以 Q. c, F+ L2 q2 s- q- q& X
6 n; `4 y+ A: P! f0 l! eModus tollendo tollens. O/ d: @# F4 \ q6 I
P --> Q, 取得 ~P 所以 ~Q$ s" _1 x4 }/ s1 A+ p
/ C& [( Z7 z5 h: ?; F" {6 h1 `
Disjunctive syllogism
2 X1 \$ U. V, ]9 OP or Q, 取得 ~P 所以 Q) h; R+ t/ |% j% N
P or Q, 取得 ~Q 所以 P
/ \' m0 F, E4 M+ x6 z3 \( ?+ L9 \. ?& u! h* C7 ]0 G! r
Conjunctive syllogism1 R+ m& t: m: J8 {6 A ~, q; P
~(P & Q), 取得 P 所以 ~Q L/ f3 {/ }: V3 ?" E
~(P & Q), 取得 Q 所以 ~P
- h: D6 \& l7 k! q1 A# G2 t. Y% i+ n5 J
Hypothetical syllogism
! r6 y( D' F9 j) d2 v+ N' KP --> Q, 取得 Q --> R 所以 P --> R$ l$ N- g, x' g5 }, @* t
9 q# n9 F4 a- U2 UDe Morgan's theorem1 |; d% A9 u" d: T# H
~(P & Q) 所以 ~P or ~Q4 k; u# I- B/ x
~(P or Q) 所以 ~P & ~Q |
|