     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
) f3 k$ g! N# f6 ~5 \6 r) i& bP --> Q, 因為 P 所以 Q9 B. i; \, C: z' O7 i# a
1 z R/ h, O- C: q
Modus tollendo tollens9 ?) i% a) N2 F9 u
P --> Q, 取得 ~P 所以 ~Q( g4 m* N" d4 V9 i0 t) l
1 e( o) f1 V/ l5 I3 J4 e0 qDisjunctive syllogism: A0 {1 Z6 ]; T+ R
P or Q, 取得 ~P 所以 Q
* y }0 @& I2 v" |; [+ mP or Q, 取得 ~Q 所以 P% \/ _! k' s% C5 T, U& y1 H
" j) [8 L; j$ j, A. U4 X
Conjunctive syllogism
" y* ?3 h9 p3 P! J5 K- K, ^~(P & Q), 取得 P 所以 ~Q& ]/ ~+ }& u% S7 f& D
~(P & Q), 取得 Q 所以 ~P
" @4 s/ S6 R( I8 |0 T% p5 u/ _0 s. E0 W' X( Q
Hypothetical syllogism* `3 d% f4 e# R( ]' |
P --> Q, 取得 Q --> R 所以 P --> R
' v- O x9 k0 M% a
0 R6 J _0 r2 y2 S8 EDe Morgan's theorem. o+ n9 h/ v! a) a
~(P & Q) 所以 ~P or ~Q- Z0 T" }4 d4 b. E( Y0 Q
~(P or Q) 所以 ~P & ~Q |
|