|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
# b9 ~0 g6 C* a+ DP --> Q, 因為 P 所以 Q
3 E' w- O' a# V# ~+ Q
' R0 u9 `/ I V* aModus tollendo tollens
; A6 s! k# {/ f' t7 k" KP --> Q, 取得 ~P 所以 ~Q
& L9 x( T3 O9 k& P. m; ]
9 O, H: h$ i, ]6 i0 N5 MDisjunctive syllogism3 n' v, c" G4 }+ \$ D
P or Q, 取得 ~P 所以 Q- u& l$ ?3 K: H1 _1 A
P or Q, 取得 ~Q 所以 P
. l( b' P) W) j. m& V+ u9 u
: l1 ~( F- c" N. C# S# EConjunctive syllogism+ l+ T4 P. ?6 S* n+ _2 l6 I0 @
~(P & Q), 取得 P 所以 ~Q7 O* d8 K. J6 Z3 O
~(P & Q), 取得 Q 所以 ~P6 E, p* u+ s3 a2 \
7 ]6 o* J5 ~2 f
Hypothetical syllogism
r. Y9 q# H+ s( r) ?$ WP --> Q, 取得 Q --> R 所以 P --> R) M5 X' y( V1 h1 Y3 S; y
/ p% y9 r9 H! P, l* W9 _$ m
De Morgan's theorem
: b9 m6 V8 q; m& E) j/ v H0 P {# S~(P & Q) 所以 ~P or ~Q O5 W( a' V1 ]5 T. W: N5 r
~(P or Q) 所以 ~P & ~Q |
|