|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
7 T6 Y6 P8 v4 Z/ V" [) \- O; eP --> Q, 因為 P 所以 Q
' [* o6 @7 r; S9 l4 @, t
8 J1 k3 U9 n$ }1 ?* Q }7 XModus tollendo tollens8 T' f3 M! V- |% G( E3 J: B
P --> Q, 取得 ~P 所以 ~Q
, C3 v4 n$ n0 Y3 K+ e8 J3 X4 a
, k, f! V9 Q) {& s9 M' A( r% t- RDisjunctive syllogism
- w9 H: J8 N& f6 i3 ZP or Q, 取得 ~P 所以 Q
4 o* m0 F3 y# f5 ~$ H5 gP or Q, 取得 ~Q 所以 P. Z' R$ n, N1 `$ l' g
. ~& w" P; ]2 H' i% y+ B" g9 j1 T) \Conjunctive syllogism
- i, {" c* R5 O8 O~(P & Q), 取得 P 所以 ~Q( l( ?! ?- }9 e6 i6 e7 q* X( a
~(P & Q), 取得 Q 所以 ~P
# g9 M: p. q6 v, g5 f3 C8 f$ q& g8 q
Hypothetical syllogism9 K/ `& \; T2 b% N% r
P --> Q, 取得 Q --> R 所以 P --> R
4 f( M( Z3 a6 k% a$ \
2 I* p6 M" X7 ^, SDe Morgan's theorem# Q6 I7 g& s! \4 ~2 v: @
~(P & Q) 所以 ~P or ~Q2 `7 O- |8 U4 d& ?& l
~(P or Q) 所以 ~P & ~Q |
|