- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens3 ?; l, F; |2 C$ {' T, {7 E0 T
P --> Q, 因為 P 所以 Q5 ~7 {1 t: H6 e0 _! D
1 F3 R! X2 g; r, W
Modus tollendo tollens
; p# F$ y, K% ~1 `4 n4 Y& SP --> Q, 取得 ~P 所以 ~Q9 a9 ]" B3 ?' I& N* e. f. h
" X3 z( ~ L% aDisjunctive syllogism+ v h) h! R! x4 m" M5 K
P or Q, 取得 ~P 所以 Q" i; p8 L$ I, o% l m' J
P or Q, 取得 ~Q 所以 P
+ N7 {0 s! \: \+ Y) B# }$ [2 c# D& z/ p$ T6 K
Conjunctive syllogism$ n% O5 D& E& i c
~(P & Q), 取得 P 所以 ~Q" S! g* C; A8 @8 _
~(P & Q), 取得 Q 所以 ~P
% y0 p4 u( B3 s$ k7 L. s% ?, E; A' j# O0 p4 p6 ^# i8 [
Hypothetical syllogism% T1 `# w) C V; @4 s8 \7 P
P --> Q, 取得 Q --> R 所以 P --> R
' J1 [/ i& k& Q# v7 e$ ~
% I: _3 G ? RDe Morgan's theorem4 Z9 A% }# z& o+ z5 S+ ~- U9 Z' u/ c
~(P & Q) 所以 ~P or ~Q
; c3 L4 b+ `: O, v4 {8 k3 x0 C3 R6 G~(P or Q) 所以 ~P & ~Q |
|