|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens! c2 l, U( X- V1 W i$ q! {
P --> Q, 因為 P 所以 Q
8 g* J2 ~' G# H6 S c: r" O7 ]& z! I. b& G% |
Modus tollendo tollens
) [: B3 q5 V' c% g. I1 lP --> Q, 取得 ~P 所以 ~Q) D) F7 I% n, i- E# K" |- y
/ D6 w! ?: J1 M0 e9 Q( I
Disjunctive syllogism% P& n" C% [0 y
P or Q, 取得 ~P 所以 Q, u6 Z- y8 u; `8 S8 Q
P or Q, 取得 ~Q 所以 P
" \- k% k. }, k% \; ~7 Y! o; U! r2 P' j, S5 ^1 I, J1 ?: i
Conjunctive syllogism% v' v7 D. h# Q7 d
~(P & Q), 取得 P 所以 ~Q
$ M: s* d: o- d% @8 Q/ p. I% E~(P & Q), 取得 Q 所以 ~P
! h2 v+ A7 U# `7 l9 M2 q6 \. h' j1 q5 P# {2 O" I7 W
Hypothetical syllogism
& X8 |; E+ o' @+ y# k/ O) ?P --> Q, 取得 Q --> R 所以 P --> R
3 w+ A& D( V7 y9 z# L
3 z8 q6 S* @1 p1 C- d' ^$ {' p2 ?/ XDe Morgan's theorem
) T5 u+ z" e, s7 _+ D/ ?~(P & Q) 所以 ~P or ~Q
1 W% Y: d3 V4 F/ x @' _7 `~(P or Q) 所以 ~P & ~Q |
|