|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens! r, t' c" P, x' I1 M# T5 n& @
P --> Q, 因為 P 所以 Q
) h4 Z9 ]# @% ?* ]
. T! ^: a: I0 P; Z7 uModus tollendo tollens
% c) O6 H7 o E) vP --> Q, 取得 ~P 所以 ~Q0 l, k; }6 n! P, D1 m; `- m
6 J# m2 f8 `, m* k# B! l9 gDisjunctive syllogism
0 m% A+ E& j6 L9 q zP or Q, 取得 ~P 所以 Q
# x6 Z9 _* J0 C8 A9 |P or Q, 取得 ~Q 所以 P
+ k8 l5 L4 n$ w) | x) R5 c0 g3 x C. s A8 K
Conjunctive syllogism
b% l3 c: N$ U, M" l* t~(P & Q), 取得 P 所以 ~Q
+ J! Z, l/ Y1 g% F9 m~(P & Q), 取得 Q 所以 ~P1 i, g' Z K0 C! P
, N* n! M" f/ W7 B3 ^2 z
Hypothetical syllogism
2 P1 x2 t2 x# ^# CP --> Q, 取得 Q --> R 所以 P --> R
2 O/ Y+ l6 O8 c" D) c, {5 a8 u
2 \( W. s/ ^4 r% f, sDe Morgan's theorem# C& x: P$ @; E4 g8 x i5 P/ M* ?
~(P & Q) 所以 ~P or ~Q5 e+ K1 b; k3 z) g! i5 Q7 f
~(P or Q) 所以 ~P & ~Q |
|