|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens \: N' R6 i) g# z
P --> Q, 因為 P 所以 Q* _/ G3 J0 h1 h/ z
# u J. g1 K2 C! s
Modus tollendo tollens6 s" s/ g8 Q( j6 _( P! J7 I# z
P --> Q, 取得 ~P 所以 ~Q( I: v) Z" q8 ]- A% H; U
0 w- p/ W# x5 k3 t
Disjunctive syllogism- ^2 \$ {! z, i& f. A
P or Q, 取得 ~P 所以 Q+ b# }6 X3 V6 ]) q$ o$ S
P or Q, 取得 ~Q 所以 P
6 v6 f! ~- [+ j
- u4 o' ~( K' A0 n( Z# j( FConjunctive syllogism
" i$ O1 [) m7 C; p~(P & Q), 取得 P 所以 ~Q
( G0 @: V" Q8 ?1 e* j~(P & Q), 取得 Q 所以 ~P
! z+ v; g0 b$ A8 p3 x+ {7 t
0 ]% M( l6 N! Y2 G: gHypothetical syllogism- ?( c0 w) }4 g
P --> Q, 取得 Q --> R 所以 P --> R1 r9 u5 w/ O$ X- i( D1 ~
6 E9 R9 M3 g) Z- U/ }! H: F& j
De Morgan's theorem
- |2 P% g. g7 F1 K, g~(P & Q) 所以 ~P or ~Q0 c4 @0 _& \% F+ Q+ h5 C5 ]1 R
~(P or Q) 所以 ~P & ~Q |
|