|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
0 K* e% c3 A* j EP --> Q, 因為 P 所以 Q, v# H$ n6 P! w/ c5 F0 R
; Y5 J+ Y1 ], f3 G2 t$ j: T) O9 KModus tollendo tollens
! v% X5 u6 E) C/ |+ X0 }0 GP --> Q, 取得 ~P 所以 ~Q
% _- w2 H D3 L5 I( n: D9 `
5 [% P% ]% K, U) wDisjunctive syllogism
# W7 y D( r# @. V8 y OP or Q, 取得 ~P 所以 Q3 E' L. W' V1 T* a0 V& v
P or Q, 取得 ~Q 所以 P
) i5 d& B1 q$ s6 B4 M) _, G/ W+ B, _4 O$ q" N
Conjunctive syllogism
; O. Z; m* e8 v/ ~' s1 H& H~(P & Q), 取得 P 所以 ~Q* N r' `; U1 s8 p4 A. B& R9 u
~(P & Q), 取得 Q 所以 ~P
4 X2 I$ u( K0 V! `: ~
( c! Z% P3 z/ Z# L+ {! PHypothetical syllogism7 v, ^, P2 o) J, @0 x5 z
P --> Q, 取得 Q --> R 所以 P --> R
5 k" Y3 P# ~6 Q3 z, s( b! E8 i+ y6 w2 m' p( C
De Morgan's theorem
8 `: E2 W* ^: x~(P & Q) 所以 ~P or ~Q9 T" V* ~& r/ k$ W
~(P or Q) 所以 ~P & ~Q |
|