     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens% X% s3 u4 a% E, S. b9 R; G% x
P --> Q, 因為 P 所以 Q
. Q# O- R, w, ^2 w9 J* L3 J0 z
& E( \& A* R0 \ u" K# xModus tollendo tollens( }* t+ W3 @2 U$ T7 y
P --> Q, 取得 ~P 所以 ~Q
% {. c- F9 E: a# H6 ?" N3 K y/ \/ E" l" U- ]
Disjunctive syllogism& T7 t; q- w, o# A" B$ l$ J ? |
P or Q, 取得 ~P 所以 Q
" P+ @; j2 e9 K: b9 Q/ bP or Q, 取得 ~Q 所以 P
- e& A/ ? I7 e [/ X: l1 S" y5 Y7 F% d6 v! |4 n) O
Conjunctive syllogism
" S. u6 W/ v7 H- j~(P & Q), 取得 P 所以 ~Q- O: z! k) K5 p* o6 I2 K" V0 U
~(P & Q), 取得 Q 所以 ~P
! |: E" c: H/ s# d( n1 v0 W# z6 @+ f
5 n8 h2 b1 P& c/ w# \8 `2 bHypothetical syllogism2 I; A! ]% v; `; [, p: J
P --> Q, 取得 Q --> R 所以 P --> R" y1 a7 C+ F7 w% H0 i
( M- F& x4 x) V5 P/ [: W# s% `De Morgan's theorem
; O7 m/ }0 Z: r: P3 p~(P & Q) 所以 ~P or ~Q
u! S6 ]2 a+ X) r: }' C~(P or Q) 所以 ~P & ~Q |
|