|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens' v$ W; j- O6 P' y" |/ V
P --> Q, 因為 P 所以 Q
- O/ X* M L5 R& w _% y0 _) p9 {! z/ i6 j, h5 A
Modus tollendo tollens7 \( x! T. p% `" ^) u
P --> Q, 取得 ~P 所以 ~Q2 _1 y" @- }$ k Y j
2 I7 T; [* Q, P/ _Disjunctive syllogism
1 o7 X" E" B. S' ?8 H7 u% J; kP or Q, 取得 ~P 所以 Q
0 H8 |4 ?1 u0 A8 ^0 Q( @P or Q, 取得 ~Q 所以 P
6 _5 M( g6 }. F# |8 H- x. j6 G* i6 k3 s* q9 @' w
Conjunctive syllogism
9 U. O6 e( b2 G: i8 Z1 w1 W~(P & Q), 取得 P 所以 ~Q9 `+ G8 y8 V. Q: \" W
~(P & Q), 取得 Q 所以 ~P
9 T7 ~( `! e2 @0 y; e5 @& z* f5 u: b* y E5 `8 Y7 F# D5 _
Hypothetical syllogism1 E9 k0 I4 w) j& Y2 o/ G
P --> Q, 取得 Q --> R 所以 P --> R3 O) M0 c: P3 W$ Z, E6 x" A
F+ z! r* c+ b
De Morgan's theorem4 b, P w0 H* M. w0 d! G* u; ^
~(P & Q) 所以 ~P or ~Q7 K8 G c" [4 u( G" z0 [$ Y
~(P or Q) 所以 ~P & ~Q |
|
