|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens* O1 q- X. g" D, H
P --> Q, 因為 P 所以 Q0 E* ~1 i& G' N- Y, w, P: j$ [. k
) e7 L6 U( ^5 Y9 d1 W7 z( MModus tollendo tollens
. a, d; P x2 C7 W7 q t, wP --> Q, 取得 ~P 所以 ~Q
& f( o {! R& H' |3 y# z9 l( J4 B
Disjunctive syllogism/ ]/ Z' B$ I3 I
P or Q, 取得 ~P 所以 Q
0 Y/ x! ~3 r }P or Q, 取得 ~Q 所以 P8 U, q4 F) l0 r% V
, j4 k' T$ ?- F. n3 c9 v
Conjunctive syllogism
$ z% t8 H) u2 T! W~(P & Q), 取得 P 所以 ~Q
# K b) V( _4 R c~(P & Q), 取得 Q 所以 ~P
, @; A' p5 W9 D* s& F5 c% F, F5 a- d% r* Z8 m' E7 R
Hypothetical syllogism
4 z1 g# g# Z" j; s; G1 k: }& d# @P --> Q, 取得 Q --> R 所以 P --> R
# K# ?. X3 R3 w9 m9 _: \( V
: n0 k* K# }0 j1 QDe Morgan's theorem$ e# I2 I# s1 L* t
~(P & Q) 所以 ~P or ~Q
! Q5 w; W: b* a9 J~(P or Q) 所以 ~P & ~Q |
|