- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens$ P7 N2 v2 C7 s2 }
P --> Q, 因為 P 所以 Q3 L5 Q7 w/ p/ } W
7 T" l+ G8 a, u; ?0 s8 TModus tollendo tollens- g" F% H- s- S& {" h
P --> Q, 取得 ~P 所以 ~Q9 {& \/ ?% ^, B: b# P4 g. f3 J
( s1 ?& u l$ Y1 J) P# [
Disjunctive syllogism' k; R: H2 U/ M3 L$ y0 @% Y- ^: W
P or Q, 取得 ~P 所以 Q
$ W$ J6 c/ t" ^/ BP or Q, 取得 ~Q 所以 P. H' E' Q$ i. [& Q0 M
6 s% }/ m; H$ U5 l9 r; ^+ ^Conjunctive syllogism
8 m/ L) k7 B1 d! v h8 b~(P & Q), 取得 P 所以 ~Q* R: g: N5 ~. f" Z/ c, k8 _
~(P & Q), 取得 Q 所以 ~P
- G6 L: r, I, }: ^ P
5 t) D# V9 |( }/ [* L1 UHypothetical syllogism
( u$ `; F/ j& p' y5 {2 A: O8 E# \P --> Q, 取得 Q --> R 所以 P --> R n+ A) z1 z* b3 I
! {: v# i2 G0 \6 uDe Morgan's theorem
0 }& w4 r( F$ q3 \7 X~(P & Q) 所以 ~P or ~Q
, X) B5 [. m; {! z3 M& j~(P or Q) 所以 ~P & ~Q |
|