     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens' ], ^) g& c3 i4 E8 r
P --> Q, 因為 P 所以 Q; _3 H6 f7 O0 v z7 h. X, `5 D
/ Q- g( w+ o8 l* l$ v/ V' ZModus tollendo tollens
5 |9 `4 z6 N) _/ {4 IP --> Q, 取得 ~P 所以 ~Q
- T; j; G1 S* C6 A5 g; b
* Y* u6 X. v4 `0 q+ I/ Z+ C- a, iDisjunctive syllogism' |% L" I. V) |: Q
P or Q, 取得 ~P 所以 Q
% |, Y! h% y+ P4 WP or Q, 取得 ~Q 所以 P! e. H$ O+ p' w$ x4 p( K$ h) h
- i l N% {. D; r# H* ]+ Z4 _( Z
Conjunctive syllogism; Y3 }9 v1 U1 E' u$ }1 c
~(P & Q), 取得 P 所以 ~Q
' w% W ?( g# Z: d~(P & Q), 取得 Q 所以 ~P; f5 G# d$ T$ v7 G. D" ^
* n6 K) P$ q7 EHypothetical syllogism
4 e. J, n& F3 j* l8 NP --> Q, 取得 Q --> R 所以 P --> R
# S0 `3 P% q# x/ r! k' F7 }7 v$ X* \* t6 d" Z
De Morgan's theorem' k! P/ p( I/ }& V4 s8 w
~(P & Q) 所以 ~P or ~Q7 q1 P8 ^5 t9 F* c
~(P or Q) 所以 ~P & ~Q |
|