     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: E; V, H4 P% h3 H( ^P --> Q, 因為 P 所以 Q
1 ^( Q1 _- i% |) f8 x6 M5 [1 G9 y: g) V! e; m1 V
Modus tollendo tollens8 m7 I0 I1 C6 S5 u' R: T
P --> Q, 取得 ~P 所以 ~Q
" K$ E" z7 m6 h& R9 q0 P' p, f8 Q. L/ G: `
Disjunctive syllogism/ _% @1 L8 L+ t4 ^" o
P or Q, 取得 ~P 所以 Q
B# g$ j7 e7 M- E5 P5 \ z1 _P or Q, 取得 ~Q 所以 P' ~2 {6 P; @0 J% B8 W! _6 S
1 ]" n% @% X: c+ o$ Q$ e) M
Conjunctive syllogism
) r3 Z# ]3 I4 p~(P & Q), 取得 P 所以 ~Q( {% L5 K& B1 t8 D& p6 {8 ?
~(P & Q), 取得 Q 所以 ~P1 p1 h' {' U8 g! S# J7 c
6 Y9 o) X. w$ g* {# m9 o, Y
Hypothetical syllogism- E) |' L' ^/ t! a9 \6 i+ Y+ _# q" X
P --> Q, 取得 Q --> R 所以 P --> R
* S: j7 k. p: S& ]
% y! s2 x- X9 H/ q% M, RDe Morgan's theorem7 k, |" _" M- q( l
~(P & Q) 所以 ~P or ~Q. \# @" x6 o) r7 Y* W f4 k' {
~(P or Q) 所以 ~P & ~Q |
|