|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: c. [" \8 |& E% i
P --> Q, 因為 P 所以 Q
, a; W; {+ t+ f: E& P( ^
( D- L# t8 _6 v5 x9 e9 }Modus tollendo tollens
+ _/ b8 X9 H" }; H5 lP --> Q, 取得 ~P 所以 ~Q
8 u$ `3 K# Y8 F5 a6 d" h- A4 i' R: c/ x6 s0 { J
Disjunctive syllogism
y7 k$ I! W2 o AP or Q, 取得 ~P 所以 Q
8 p. K* R( S6 q l, LP or Q, 取得 ~Q 所以 P
/ }+ U Y0 A1 ^1 I8 n2 f
/ r7 g% m$ F) s, cConjunctive syllogism, v7 n3 o% P3 s, l
~(P & Q), 取得 P 所以 ~Q3 k- z4 H j( X! [
~(P & Q), 取得 Q 所以 ~P t+ B e. S4 l2 }0 {1 ?
% i0 g; o) f0 N! r/ wHypothetical syllogism
4 S8 l- Q6 g1 M& H. hP --> Q, 取得 Q --> R 所以 P --> R
6 M; E$ e7 q1 e. @5 v
" \5 O# _, m8 d' R8 P# c3 d# x6 UDe Morgan's theorem8 K/ \: _3 z% W/ m4 z- u( W
~(P & Q) 所以 ~P or ~Q" ]! Q& O9 q( N- B" @8 W
~(P or Q) 所以 ~P & ~Q |
|