- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
+ i2 n& N- r' I# u# _P --> Q, 因為 P 所以 Q
, Q% P; H( O) z$ d" k: f. C
[0 R1 F. b' F% j8 _Modus tollendo tollens7 f! i, x2 G% D* `5 m5 A
P --> Q, 取得 ~P 所以 ~Q
& B0 k$ @) _$ A& l7 [& r ?6 f0 c
. N1 s1 V& a: d" J+ h5 ]- }Disjunctive syllogism2 \+ B( n8 ?# B: S0 Q: P
P or Q, 取得 ~P 所以 Q
+ W" J0 t; c& J* wP or Q, 取得 ~Q 所以 P
# J! _0 e8 R0 T3 I
3 O2 I: _1 J- n( D! c, kConjunctive syllogism, n7 I( s% R7 L6 o+ Q% _
~(P & Q), 取得 P 所以 ~Q
$ N, M5 M( ^$ P- [" R~(P & Q), 取得 Q 所以 ~P7 T# k4 ^2 p) C, N( e( Q5 y3 @: m5 }
: T0 y3 K2 S. _- I% [
Hypothetical syllogism
$ J2 j# y& W+ s0 IP --> Q, 取得 Q --> R 所以 P --> R9 i- c7 K: x) H: l0 ?0 [
4 a. J7 J" \ dDe Morgan's theorem* B$ S; v+ E5 l/ ^6 u
~(P & Q) 所以 ~P or ~Q9 Q+ ^6 \ D8 l" Z
~(P or Q) 所以 ~P & ~Q |
|