|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens' D' ^! q0 o! ~8 b O
P --> Q, 因為 P 所以 Q2 k2 k0 ?6 d- n
; l& E; e: S- o' |; m
Modus tollendo tollens: k2 B# P6 i" \( [
P --> Q, 取得 ~P 所以 ~Q& v; {3 }& }/ l
) N: Q& |/ e; X: ?( B
Disjunctive syllogism
. z8 b0 H# [) V3 l* d+ A" GP or Q, 取得 ~P 所以 Q
! g+ D# p3 f% L0 PP or Q, 取得 ~Q 所以 P$ E& e8 X5 Y& r5 E+ o& U
2 w K0 `, I: L/ t2 ?Conjunctive syllogism
) V: |9 u o8 s) H5 J. g* M- E( K~(P & Q), 取得 P 所以 ~Q" K& h4 A2 F) {. N1 d* V. R
~(P & Q), 取得 Q 所以 ~P
: P* M9 r. V+ o ^, |2 T) a
) r& P. U+ @- m3 U" h+ z y% PHypothetical syllogism
/ u' |7 j1 g; R, K2 M9 h, J! PP --> Q, 取得 Q --> R 所以 P --> R6 @/ E1 J7 j/ w- ~5 @+ V, T
+ K+ |% c# O" G. b$ i9 T4 oDe Morgan's theorem
# `0 Z8 ], Q# J. ?~(P & Q) 所以 ~P or ~Q6 _* G8 h" W4 k5 @, f7 a _
~(P or Q) 所以 ~P & ~Q |
|