|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
; [7 {5 }3 ^* M0 n; `P --> Q, 因為 P 所以 Q
2 [; R" p4 i! u- {3 z
" x" T2 u2 {3 E! U3 E; ^Modus tollendo tollens9 l( W5 U3 A# X0 y3 x* n; y1 p; d
P --> Q, 取得 ~P 所以 ~Q, S4 a$ ]+ H; p& C/ _$ K' g" ~% [
( ~5 L! ?5 [. E; BDisjunctive syllogism, R) X! N b8 ~
P or Q, 取得 ~P 所以 Q2 [* a b1 b' t3 T% `
P or Q, 取得 ~Q 所以 P `6 `# U7 V8 s) o7 h% A
& q- C8 d: U" p
Conjunctive syllogism4 I, [1 g$ u$ I V0 v% W. K2 K; g
~(P & Q), 取得 P 所以 ~Q* x8 w! d) W9 e2 ]" e) f/ P' x" q
~(P & Q), 取得 Q 所以 ~P
$ I" V" s$ B0 I& ?+ K
8 Q2 _7 L K: M& @" _* u/ _Hypothetical syllogism
0 J# x; W. j% l- I' X% VP --> Q, 取得 Q --> R 所以 P --> R
. [- n8 n7 n( `' t* C" Q& ], z/ i9 V. D0 B. I
De Morgan's theorem
( f( T, T0 m, o q" P3 o/ ?7 F~(P & Q) 所以 ~P or ~Q2 @' }. m) y* Z
~(P or Q) 所以 ~P & ~Q |
|