|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
( ]( w7 S9 |+ ?P --> Q, 因為 P 所以 Q+ V6 S5 C- w% M$ x# ]+ s4 ~
7 H7 F9 q1 Y, M- u/ ^5 ]Modus tollendo tollens, t+ |' \, M& [0 i' C7 Z: @
P --> Q, 取得 ~P 所以 ~Q
c0 G. s+ d. J+ ~, V* z3 o. }, O l, q6 i6 G
Disjunctive syllogism
* o+ z% \, n S; q" mP or Q, 取得 ~P 所以 Q
/ R/ m! E Q/ n( u! OP or Q, 取得 ~Q 所以 P
6 A9 M6 c5 I2 c! |# ^+ r6 n: b( G* {- E
Conjunctive syllogism
4 |6 h- L8 Q- s/ y4 D~(P & Q), 取得 P 所以 ~Q
8 @8 j$ P! j& N~(P & Q), 取得 Q 所以 ~P
/ I ^" P7 }/ @! A6 @, ^) o
( V) {1 U+ C& a9 }4 d+ wHypothetical syllogism5 V8 Y: ^7 t h. F9 A1 _. s* a
P --> Q, 取得 Q --> R 所以 P --> R
6 t7 b5 |* G/ }; `: G. Q
$ A& ^! B% L$ u) ]; YDe Morgan's theorem! V( w; y' D9 w' \0 K9 e
~(P & Q) 所以 ~P or ~Q
' N- O* y( a# b% K: N1 ^+ O# |& L~(P or Q) 所以 ~P & ~Q |
|