     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens( i! { K# Y/ |7 X7 p4 U& x u0 T
P --> Q, 因為 P 所以 Q0 T% j6 s: R8 l) [1 _
, u8 X' t5 Q& }2 U9 k( p
Modus tollendo tollens0 Y2 `2 u q* S1 ? V5 e2 O/ r
P --> Q, 取得 ~P 所以 ~Q
9 d: ]" K, I: m1 Q7 E, L' O2 a- d: F* g3 f/ B$ U O, n! x$ A
Disjunctive syllogism6 w0 M3 ^. w$ }. f) I; ]! f8 {( X
P or Q, 取得 ~P 所以 Q
; @4 w% p, G3 M" N* P+ d7 m* yP or Q, 取得 ~Q 所以 P' i. ?) o' ~8 g& D5 g
, u; Y3 f1 p2 g% g* p
Conjunctive syllogism) Z( T: y4 P3 ^7 \1 x0 p
~(P & Q), 取得 P 所以 ~Q
* A8 ], M' O9 ]7 g% a~(P & Q), 取得 Q 所以 ~P
" U7 y# l% |, m4 U! p X, v: e$ R, M9 ]# u, U6 S
Hypothetical syllogism
9 r3 n) d3 E6 `6 }P --> Q, 取得 Q --> R 所以 P --> R
& B1 N+ u! B3 Q! z t+ o* L) i3 x; r# i4 }4 ?8 }
De Morgan's theorem
' [" h- l& V1 Z2 F; y# I~(P & Q) 所以 ~P or ~Q4 G/ o1 Q2 u* e% r7 [% z! z
~(P or Q) 所以 ~P & ~Q |
|