- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
5 f; V0 M0 X0 K1 X1 f9 @( QP --> Q, 因為 P 所以 Q
. g, i0 _1 @, J- v5 L+ Z/ g9 x# J/ t: k
Modus tollendo tollens+ V5 U' q4 R( Q. |8 C: T
P --> Q, 取得 ~P 所以 ~Q2 z" q9 s, L6 N( u
- H7 E0 I6 g: C% g* a
Disjunctive syllogism
. K1 O% y ?8 j) [7 r9 M l% mP or Q, 取得 ~P 所以 Q& P3 l* F0 ?: v2 X( _! O
P or Q, 取得 ~Q 所以 P
* _1 D1 l/ l! k$ N( O( `
# L* y2 q' S/ F+ b8 JConjunctive syllogism6 K8 ~( \0 m* V" n9 `
~(P & Q), 取得 P 所以 ~Q
6 \" C& i: V: @- J2 H1 c4 O7 q~(P & Q), 取得 Q 所以 ~P
0 m/ A! @: V* @9 Z5 x! n$ P, A8 C8 I; T+ |1 G& V, t1 r) }
Hypothetical syllogism. Q1 p* @- H4 R: t7 V% L
P --> Q, 取得 Q --> R 所以 P --> R
# w2 r/ M; @8 @* A. m$ m, q/ \! s/ E/ D- R2 U, P \# i c2 `' o
De Morgan's theorem
/ ^2 k, {! t k. N/ z9 `8 b~(P & Q) 所以 ~P or ~Q0 [; O: D2 b. e/ q W4 @
~(P or Q) 所以 ~P & ~Q |
|