|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
7 A; b- w1 Z. I% NP --> Q, 因為 P 所以 Q
* ~, r6 {- e$ Y
1 A' X0 D7 }( }/ ?; K8 [; C( eModus tollendo tollens
) o1 }; O. P1 ~0 ^P --> Q, 取得 ~P 所以 ~Q
0 J3 X5 k+ v4 l6 Q6 [! a- Z
' l( Z% l0 M/ E% m& YDisjunctive syllogism H, x, r# E7 w
P or Q, 取得 ~P 所以 Q
5 T6 S- n0 d v3 v# M: hP or Q, 取得 ~Q 所以 P, g m) U q, A- y
" x+ K7 U8 r4 s
Conjunctive syllogism! c' d* f6 H8 q: x7 Y8 u
~(P & Q), 取得 P 所以 ~Q
8 Z, @, j, U! L, d- {: P, L8 f~(P & Q), 取得 Q 所以 ~P* W; Z% m: V4 s/ R: q$ k
$ F! j, |) w1 c0 `" P$ Y' L) [
Hypothetical syllogism
" o7 h0 I% w; b& p+ y9 C- X. l' HP --> Q, 取得 Q --> R 所以 P --> R
; r/ c) r( M+ { C$ \+ W
+ R7 L8 t/ a4 @& ~, @De Morgan's theorem
5 K. D9 S' q% h5 U* E~(P & Q) 所以 ~P or ~Q
; ?7 u* d$ q5 m; d( k* ]5 j~(P or Q) 所以 ~P & ~Q |
|