|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
4 K9 Q8 x6 O. _7 R* o# {# @- AP --> Q, 因為 P 所以 Q! D1 ^* V/ w# _, C6 O2 H) C
' Z/ e: {2 Z8 e9 E+ @# @
Modus tollendo tollens* [3 ^0 F8 b9 v, \( t
P --> Q, 取得 ~P 所以 ~Q' c1 `+ V9 E8 f' C; W. A& h4 L
+ Y3 J5 G$ B/ G* H# dDisjunctive syllogism; k* @% F' ~* c0 G
P or Q, 取得 ~P 所以 Q
4 y$ j- b! L$ W0 R& ]' e8 bP or Q, 取得 ~Q 所以 P
0 K( Q! _* G9 K7 u0 Y4 e9 {' _2 F" H! W) X9 J% p0 @8 \
Conjunctive syllogism5 m. s& t2 @. A% T- m0 E* n: K# Y
~(P & Q), 取得 P 所以 ~Q
6 u9 v) y" @2 G5 ?, J5 X2 _2 {~(P & Q), 取得 Q 所以 ~P
6 G5 H* }" Y3 C; s# S0 \2 B& K. D4 M
& J5 l0 ~5 h" ?. `9 |) ]Hypothetical syllogism/ O+ b1 M2 ?/ K' A' k3 L3 B* X
P --> Q, 取得 Q --> R 所以 P --> R
9 L) J0 z/ V2 t5 A! ^4 h) J9 A& _+ b
De Morgan's theorem: c* I' [! N: f0 A
~(P & Q) 所以 ~P or ~Q$ E* C3 o- J4 m* t5 w
~(P or Q) 所以 ~P & ~Q |
|