|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens. a3 ]+ t) c9 I( P% j. s2 c
P --> Q, 因為 P 所以 Q8 [; W( r# E3 p" j
9 G9 P( J) {4 a+ J; _0 q
Modus tollendo tollens
3 x7 u; @, T" pP --> Q, 取得 ~P 所以 ~Q1 c F. e( [/ Q4 k
# J0 h# H5 f, m8 DDisjunctive syllogism
$ g( j z2 a( @- FP or Q, 取得 ~P 所以 Q/ E5 u r$ b: Z2 { [) s
P or Q, 取得 ~Q 所以 P
% U' ]( {: S( c1 C; q
d. N( W) k: g# i+ m) J4 a6 K( ZConjunctive syllogism5 m! l. s6 ?# x0 n( H% G
~(P & Q), 取得 P 所以 ~Q' z, H9 }: E3 x7 P- s
~(P & Q), 取得 Q 所以 ~P$ c& O3 b. [& r# N* C
: ~4 W g; v) f+ X+ u, Y3 C; i( T* i
Hypothetical syllogism
. X, K n% w# H: D* ^0 M/ zP --> Q, 取得 Q --> R 所以 P --> R, C5 s# [; `0 u( O! v4 b3 V
; {( \$ B: b' N$ C! @3 y, F0 sDe Morgan's theorem, Q/ K1 Y/ M( }$ Z: B8 L& }, d3 a
~(P & Q) 所以 ~P or ~Q; C4 l% w6 R0 w! e& P8 G3 E
~(P or Q) 所以 ~P & ~Q |
|