     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens& n& Y0 B% g) h. J
P --> Q, 因為 P 所以 Q: Z% U' v- b$ X( ?
1 j6 ~9 K) ^+ c1 e% C( p# DModus tollendo tollens
7 D) V; X7 W* Z5 WP --> Q, 取得 ~P 所以 ~Q* D( r& E& S$ }" ~$ f
. J M) p- V9 k' T" _5 h w7 \Disjunctive syllogism
8 ]! r: Q1 X6 u- N' EP or Q, 取得 ~P 所以 Q
. c- m3 s, w. y4 r. c6 P3 qP or Q, 取得 ~Q 所以 P2 S. V/ k( a+ v3 ^: v/ Z
" `: \& c" L5 Z2 Z* U% h
Conjunctive syllogism
3 I: B4 g( {! S) x~(P & Q), 取得 P 所以 ~Q
/ u6 M! O- Y, x, w& b& N3 y% [~(P & Q), 取得 Q 所以 ~P8 @$ C* H5 i* _' ^* R
2 c- N/ Q1 Y, N: [( M! L7 J, RHypothetical syllogism: S2 Z' [- V3 B. y/ g9 H+ v
P --> Q, 取得 Q --> R 所以 P --> R
9 Z* ~/ [& \) D# r3 [0 N. j, \4 B- c/ W
# X6 D0 [. S" K! ?3 d( UDe Morgan's theorem0 g) v; Q/ r7 D% \
~(P & Q) 所以 ~P or ~Q
, E/ Y/ d# ?; L2 i) w~(P or Q) 所以 ~P & ~Q |
|