|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
% C" }+ Y5 o) {P --> Q, 因為 P 所以 Q2 \7 v U4 t" v$ b
, x" j* X @, OModus tollendo tollens* p$ d' @1 W5 g4 M8 B
P --> Q, 取得 ~P 所以 ~Q
$ J6 ]0 ?) k3 K* n3 _: C' g" A7 z6 q$ ~5 N0 E* p$ p* z
Disjunctive syllogism
) n$ t% V& H! Q6 pP or Q, 取得 ~P 所以 Q. m* T! a5 c! C# z
P or Q, 取得 ~Q 所以 P/ R6 X+ s" ~+ D! P% t) `
# F! w! d8 z" C, g" ^0 Q% v( \; [Conjunctive syllogism
6 b, `3 l3 P" r1 p% [) O~(P & Q), 取得 P 所以 ~Q
; N0 {8 }2 ~* e. L8 b' v# Y~(P & Q), 取得 Q 所以 ~P/ U J. Q7 A) O0 }: S3 ?
+ H1 i: K' F; I: b" C. ]* z
Hypothetical syllogism& H. P, A' Z; |8 S- j( O; r
P --> Q, 取得 Q --> R 所以 P --> R
5 `2 i2 c- t% U, b: ~* a, u
9 w/ ]( J4 N9 ^: P3 Z1 n! mDe Morgan's theorem7 {5 O$ x. n& I
~(P & Q) 所以 ~P or ~Q/ _! j5 g0 v4 x8 j4 a( e! B
~(P or Q) 所以 ~P & ~Q |
|
