     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' ?1 [6 }+ c9 e; u# E7 e; d& ]P --> Q, 因為 P 所以 Q' y6 u! z2 ]* Z8 O7 s
6 }, B: A8 E, H% @1 o% R9 D1 T! @Modus tollendo tollens
+ o1 H5 B6 p0 aP --> Q, 取得 ~P 所以 ~Q
( M8 [/ ^0 a( _' X V9 J
: M6 s( Z7 |* ]1 W6 C7 QDisjunctive syllogism
9 v" o8 v1 x$ N, `- S1 RP or Q, 取得 ~P 所以 Q
# ?+ W9 c2 F; u9 ]3 E1 fP or Q, 取得 ~Q 所以 P
" m+ @% A: z6 A% w' |- R# D
1 x! f& ~# z x0 s5 {) N7 ^Conjunctive syllogism4 |5 J, }6 Y. b c4 g
~(P & Q), 取得 P 所以 ~Q0 P0 t+ ~7 G6 e, b, t: y' M
~(P & Q), 取得 Q 所以 ~P
. O! ]) M7 K* c4 i4 @" G1 j' M3 q! b( l% m
Hypothetical syllogism+ y7 P4 H& c- f
P --> Q, 取得 Q --> R 所以 P --> R
# ~5 }* A8 M/ H4 t: G8 d9 }" e( V1 J/ g. i3 F
De Morgan's theorem
) Y. L0 @2 J! @8 b% S- _2 V~(P & Q) 所以 ~P or ~Q, M0 }* f( C! ~+ J
~(P or Q) 所以 ~P & ~Q |
|