|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens2 B2 s" t6 M- i+ P; P6 R
P --> Q, 因為 P 所以 Q
1 N* O% ]! i. l
- r$ D& Y3 ^* P8 L0 u" B$ lModus tollendo tollens2 d* f+ n3 x/ l4 `
P --> Q, 取得 ~P 所以 ~Q
% \1 Z* W, B& t1 c3 ~+ f( J, I3 }2 E' ]6 r8 o
Disjunctive syllogism
# H8 Y2 S4 W( `* b, T. i4 G4 V+ ^P or Q, 取得 ~P 所以 Q& E+ G- D6 }4 [% ]2 j3 |
P or Q, 取得 ~Q 所以 P
6 k F- Y$ k0 z0 ?5 N1 q/ W' N4 m' b O* v3 Y
Conjunctive syllogism
" Z- B9 ~* L- _~(P & Q), 取得 P 所以 ~Q7 B; L0 u* @7 z* S4 @5 Z
~(P & Q), 取得 Q 所以 ~P
( W( w; [. Y( S2 k' ~3 L
% q2 m3 U% s& q- B( ?9 K( B- @2 y- ?: F2 ]Hypothetical syllogism* c5 n0 h; `5 O
P --> Q, 取得 Q --> R 所以 P --> R
9 g8 s: b- K% R# H& p& j: M% B' B/ z4 g9 j5 z; E8 o4 ~
De Morgan's theorem4 S# E v+ ?. A- @- s: X2 u% K
~(P & Q) 所以 ~P or ~Q. I3 i, O( ^3 V, h( U; f/ ~) l5 E
~(P or Q) 所以 ~P & ~Q |
|