|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens) g/ m& R" v7 d- d2 S$ ~' L, x
P --> Q, 因為 P 所以 Q
5 U0 _$ K2 ]$ P- `
; {/ ^+ w0 M. G) i. q ^Modus tollendo tollens
% f* [( K( w% ~3 w( z# O# @P --> Q, 取得 ~P 所以 ~Q, x# G/ l8 r& e/ X5 q
; [; i. w- Y( s+ P0 \9 DDisjunctive syllogism) N& O" Q) L) H1 B
P or Q, 取得 ~P 所以 Q& B+ R2 o( G6 S
P or Q, 取得 ~Q 所以 P
4 p* X6 a$ l. Z+ L; i; ]2 x3 ^% ?' _3 V5 [4 o- Y Q2 s
Conjunctive syllogism
' `+ r+ ]/ c8 e$ [~(P & Q), 取得 P 所以 ~Q
- W P0 Y0 c# D/ w% w6 @+ J s6 `~(P & Q), 取得 Q 所以 ~P
% n9 a7 P) M; U# y, z
. I& Y% u @# c8 a. j* Q% RHypothetical syllogism' g8 {) f7 E3 y1 Y& x
P --> Q, 取得 Q --> R 所以 P --> R! ~' _5 J- R* z
5 ~5 h2 ?+ v. o3 Q( {( l; UDe Morgan's theorem. d& R9 I3 }. y7 x' k0 L1 ?2 w
~(P & Q) 所以 ~P or ~Q% w S: ^& s7 H; X; M3 ~$ Q
~(P or Q) 所以 ~P & ~Q |
|