|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: t V5 P- A/ G, i* hP --> Q, 因為 P 所以 Q% t1 [! s: P7 x% L( ~; Y
4 u3 T1 M; f p: H8 `8 J
Modus tollendo tollens
% y% p) j: F) P8 D! l/ bP --> Q, 取得 ~P 所以 ~Q9 j [) B- Y3 R3 m9 O4 c" D
( f- E# O1 z0 P3 w/ ODisjunctive syllogism9 I' H: g) T: {8 x
P or Q, 取得 ~P 所以 Q
& W- r3 [& Q% X7 [P or Q, 取得 ~Q 所以 P
0 Z" q( r1 {) D, N/ t, b3 u3 e5 `/ O1 z: c0 t# d
Conjunctive syllogism
0 L. Q) s, e3 q6 z8 R% B& i! q~(P & Q), 取得 P 所以 ~Q
9 R ?& N. B0 I3 P6 `) T~(P & Q), 取得 Q 所以 ~P" J* r- f4 F6 b$ e7 w5 D
& a+ |! l- y& U1 Z5 AHypothetical syllogism. |% f$ b1 B; ]1 c
P --> Q, 取得 Q --> R 所以 P --> R
" q7 T5 t, D8 X
) B1 R: k8 U0 @* ODe Morgan's theorem
5 C8 O+ N* g& M3 i: J~(P & Q) 所以 ~P or ~Q
; i) D, i3 A1 f3 q t~(P or Q) 所以 ~P & ~Q |
|