- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* i- ]2 u9 {$ r, l! ]P --> Q, 因為 P 所以 Q- ~( W+ ?7 J5 Q7 J& z
0 M/ x1 ?' ^" z Y1 [# @Modus tollendo tollens9 c f- P2 o3 v
P --> Q, 取得 ~P 所以 ~Q
' k. X$ k/ S# A$ U' \, k' s1 G5 D- C0 }0 o. b1 I5 A) w* S$ O
Disjunctive syllogism
. _: N2 q9 K! u6 v( \P or Q, 取得 ~P 所以 Q
" ^( {- C% r- h. E$ p1 u$ oP or Q, 取得 ~Q 所以 P
# E& o% Y4 H! W' a& c/ e9 u6 W' I! V$ x8 R4 [, o
Conjunctive syllogism
2 F ~+ w+ D0 d~(P & Q), 取得 P 所以 ~Q+ T- |0 S& [% o# n& f
~(P & Q), 取得 Q 所以 ~P
% E1 k* |7 T, {/ F8 M+ ^9 f3 \" W8 u3 Y+ D) P
Hypothetical syllogism
& E9 f1 ]+ Z+ R1 j/ nP --> Q, 取得 Q --> R 所以 P --> R! G+ [5 X8 k- O) `' C( ~$ S
8 _, ~1 M. Y$ | A; s) [De Morgan's theorem1 E: ~& W. [3 i; \4 M4 Y! X
~(P & Q) 所以 ~P or ~Q. C7 G' X, r8 g+ N
~(P or Q) 所以 ~P & ~Q |
|