|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
" U& l* V5 z) c( F" t6 w! `. xP --> Q, 因為 P 所以 Q
4 z* X9 _( C: D* v2 {) L5 ~. \
, D/ {2 y x( Y4 `# @: y. Z5 KModus tollendo tollens3 M0 G- I6 `9 E, p4 G$ E2 O
P --> Q, 取得 ~P 所以 ~Q8 s1 i$ P5 u! b, K4 X0 D6 s/ G/ [+ e1 o+ u
7 }& |) U% x1 t4 ]# V jDisjunctive syllogism' ]/ X& S$ |% }1 f& m- X& v
P or Q, 取得 ~P 所以 Q+ `; \9 l( a1 ]8 e) X$ r
P or Q, 取得 ~Q 所以 P# z2 {( b4 X& Y$ [
+ p, E2 j+ I( HConjunctive syllogism
: z6 K& O! W/ m" e' K! X~(P & Q), 取得 P 所以 ~Q# J6 N. N6 G- }; w4 N/ Q
~(P & Q), 取得 Q 所以 ~P; \7 H8 ]$ {. P" J8 Q. |9 J
/ E% N3 P' Y8 u" CHypothetical syllogism
4 n. [: y) e) {/ W3 d9 u* ]P --> Q, 取得 Q --> R 所以 P --> R
4 U/ r T" e& `; ]. T% q( P9 d1 a( a2 D1 z: ^. V3 ^
De Morgan's theorem
) x( H! k4 j/ ~ [0 Q~(P & Q) 所以 ~P or ~Q
. Y$ O- A& v* |0 E~(P or Q) 所以 ~P & ~Q |
|