|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens/ [9 S: H. Q" Q
P --> Q, 因為 P 所以 Q& s! ^( S# H* [- V
% j9 I9 @" i6 r
Modus tollendo tollens0 e" n/ ?# ~3 l2 B$ n7 F$ @: ?' E2 N
P --> Q, 取得 ~P 所以 ~Q
6 y' o2 U' Y2 j; x) U- M! r( j. `, l! {% o
Disjunctive syllogism0 ~6 e& V1 T) V ~( q3 U$ x8 h
P or Q, 取得 ~P 所以 Q
( p( s% @+ O2 ?) YP or Q, 取得 ~Q 所以 P4 P3 |$ n" c, o) E, f7 f
$ F/ W6 j: O R" a. H# ]9 g) b6 o
Conjunctive syllogism
. \& t' ^6 j/ z~(P & Q), 取得 P 所以 ~Q) o1 O3 q. c* X) I
~(P & Q), 取得 Q 所以 ~P
) o( j+ b" O1 P2 J7 K. }4 r& l ]' M1 h: u. q: w
Hypothetical syllogism; `4 g) I4 ~9 z8 n: s8 n6 A
P --> Q, 取得 Q --> R 所以 P --> R( G7 W! l7 _- p
! G* l G7 v2 ]& C1 EDe Morgan's theorem
3 d5 I! D, v. }) D: X$ K. ^~(P & Q) 所以 ~P or ~Q5 I I1 t% S. ]) F8 |. n
~(P or Q) 所以 ~P & ~Q |
|