- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
& q6 h8 {3 _( _8 jP --> Q, 因為 P 所以 Q
& r# _) R( `% A1 J9 X/ g3 z5 i( c% m$ A* y- E0 k" |$ ~' O4 n
Modus tollendo tollens, F$ o6 k/ r2 p
P --> Q, 取得 ~P 所以 ~Q
3 A' T' N) ] F" S3 n% }% f/ m {* Y9 v r
Disjunctive syllogism
* y" \2 B5 h9 q: S# q. b/ E, y6 }P or Q, 取得 ~P 所以 Q8 N# K3 t/ k6 G' Z2 C. W, Z
P or Q, 取得 ~Q 所以 P2 f6 {7 [" d5 f: b
: `% n K' t" hConjunctive syllogism/ E/ X! p$ N- a. Y4 g# G
~(P & Q), 取得 P 所以 ~Q( r0 ^0 u/ [; P1 b; E
~(P & Q), 取得 Q 所以 ~P! z2 [) p- D! H O7 W/ R
/ n8 L6 `" H: c' fHypothetical syllogism
: A- f* e# S% h5 G* J% @P --> Q, 取得 Q --> R 所以 P --> R
$ \& o4 w+ F `: c) m
6 X/ X" c `5 ? e. z5 sDe Morgan's theorem+ D" q6 ?1 I; @$ z$ H( t/ A
~(P & Q) 所以 ~P or ~Q
! n+ d I$ a& K0 V~(P or Q) 所以 ~P & ~Q |
|