     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ F0 e; O- l: L9 vP --> Q, 因為 P 所以 Q
; i$ f& J+ p. e+ I% |( U8 F
% P ]( W6 P5 p6 l* cModus tollendo tollens' v# j7 b! `9 J
P --> Q, 取得 ~P 所以 ~Q' v2 d6 Q7 v8 A) J5 M
% b% C! C Q0 W$ w1 bDisjunctive syllogism
% U5 [! ]. U, Q# v8 V9 V) fP or Q, 取得 ~P 所以 Q
4 n$ N2 i! H( E0 t& AP or Q, 取得 ~Q 所以 P! y: t% ?) z% `1 ~* [, o7 ~
. {1 ~% N0 J' h4 m# H& N
Conjunctive syllogism3 @2 n2 U# Y4 E, a" y& C$ W8 V4 s" D
~(P & Q), 取得 P 所以 ~Q
" U- g5 b+ _/ B$ g~(P & Q), 取得 Q 所以 ~P4 h% n" [" T, g+ @( J3 j: t2 V5 f
/ G5 M' s: t+ l- s" ^" DHypothetical syllogism! N4 n. n1 t8 O
P --> Q, 取得 Q --> R 所以 P --> R
. c, P+ o7 y& D) I) c) w/ w6 X
. [6 J: y7 U0 L! p0 W) c: @De Morgan's theorem
0 X8 X! A M6 V+ L: P; V: V~(P & Q) 所以 ~P or ~Q
! F5 F$ r) P' Y8 D1 f! ?" r~(P or Q) 所以 ~P & ~Q |
|