|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
/ q, P( u: U. m7 B$ QP --> Q, 因為 P 所以 Q
; @: J1 t4 u9 u: ?% |, F
; u( Q6 A4 T5 t3 w. W, G# rModus tollendo tollens) G, R+ J0 l# A; s+ P
P --> Q, 取得 ~P 所以 ~Q! W! ~0 s& a! Z. P' y) Q
& A1 P. V, w7 e: \/ |4 Z& u
Disjunctive syllogism* S/ {+ H1 W: f) q3 j
P or Q, 取得 ~P 所以 Q/ ^+ V; e2 ]1 e$ E4 E# j7 N
P or Q, 取得 ~Q 所以 P# F. A. N: s0 |: D& J8 v: Z% L
8 s* k2 U& C) F" H, hConjunctive syllogism, y# H* `4 d `9 T1 ]; l
~(P & Q), 取得 P 所以 ~Q4 W! O- K0 O9 B
~(P & Q), 取得 Q 所以 ~P* Q. e+ T- Y4 p& T
9 {1 m8 ~/ |# b& T' RHypothetical syllogism
h& V$ y) N$ w5 Z4 r' D# ?P --> Q, 取得 Q --> R 所以 P --> R) T* q4 t A6 a5 x! {5 |( v
1 w# j$ h% t; z4 m
De Morgan's theorem
# L5 B4 ]( c3 A) g8 F6 x# z" i% E~(P & Q) 所以 ~P or ~Q* Z7 \' ^9 J9 ]' _8 h
~(P or Q) 所以 ~P & ~Q |
|