|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens M! a; q$ Y/ Q/ r& ~, x5 d% y! C
P --> Q, 因為 P 所以 Q% e6 r j- A6 A# T2 d
+ J6 L- R5 o& Y5 ]5 Z0 fModus tollendo tollens
% v `# c. Q- h/ }P --> Q, 取得 ~P 所以 ~Q! Q: M9 F4 f9 r# R4 l6 |% [" v
7 ~/ D' l i! S; `& @0 o D2 \Disjunctive syllogism# U3 C! o2 Y. S" V: {
P or Q, 取得 ~P 所以 Q! T) m7 |4 h. `- c
P or Q, 取得 ~Q 所以 P
& Z( N7 t& V5 U1 e0 \& ]7 X. y' q: O( \3 |
Conjunctive syllogism, r3 R9 |# Z, B: z
~(P & Q), 取得 P 所以 ~Q. z# a" a/ o1 {, H. o
~(P & Q), 取得 Q 所以 ~P
; Q0 [1 _ E* N; C3 Z9 g
$ M: v' r9 X- i9 h$ ^) \' oHypothetical syllogism! Y5 F5 d2 p) e2 r9 C. s9 h
P --> Q, 取得 Q --> R 所以 P --> R
Z! j; \+ `) r# J( D. J' k& i
- G/ z4 g6 W; F1 t8 z$ LDe Morgan's theorem
( f+ h% r9 v/ n' }5 }7 G( D~(P & Q) 所以 ~P or ~Q
7 H' C r! Y' ~/ m+ u# [' X9 O# B~(P or Q) 所以 ~P & ~Q |
|