|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens2 U" f5 X' p9 b: T0 t
P --> Q, 因為 P 所以 Q
; |% p E: n. l% f% a
) o. Z: H$ M Y% qModus tollendo tollens4 ?7 p) G E- f7 z6 F
P --> Q, 取得 ~P 所以 ~Q* C3 ^5 p9 L* @
) r. ~1 r/ @- P0 T( j
Disjunctive syllogism$ y+ E8 V. D b# ~+ }- |
P or Q, 取得 ~P 所以 Q* e: ]) f& C' b3 U
P or Q, 取得 ~Q 所以 P z7 u7 y. M8 o, R0 ^- L% x9 p8 @" Q4 M
. V# T# ]0 g9 `
Conjunctive syllogism5 z! x5 X1 T) } a
~(P & Q), 取得 P 所以 ~Q
- C) }2 `" D3 \4 ^& P5 |~(P & Q), 取得 Q 所以 ~P
" g% q1 t, T( L# h! }* q* `4 R) b$ a0 d( ^+ }
Hypothetical syllogism
2 |7 j" i4 S7 GP --> Q, 取得 Q --> R 所以 P --> R/ N. \3 b6 s4 g0 D! P/ W
0 c# c* I, B( z' `
De Morgan's theorem0 q6 ~/ w: o) C8 }; n2 }
~(P & Q) 所以 ~P or ~Q
# K$ o4 p7 a% O9 K~(P or Q) 所以 ~P & ~Q |
|