     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
) K# m* a/ t; m1 F% yP --> Q, 因為 P 所以 Q
6 l, A; g0 z0 m9 T
( O( e% b% e0 V3 Y0 `- I; QModus tollendo tollens
" n/ I! U4 {6 F3 UP --> Q, 取得 ~P 所以 ~Q
! I$ v$ b* }7 ^( `6 G
) w* I3 A6 p0 w1 JDisjunctive syllogism* `; j: [8 T: Y( w
P or Q, 取得 ~P 所以 Q" x; R/ x0 c$ A% F$ k
P or Q, 取得 ~Q 所以 P5 g8 l; I+ b8 w! o& Y
; w. F! t6 y! c# r
Conjunctive syllogism
, w; l$ W& A2 r) @- f~(P & Q), 取得 P 所以 ~Q2 A2 P* c" w; i9 z0 i# S
~(P & Q), 取得 Q 所以 ~P6 u; y9 V. V7 O0 w# {
$ {$ J+ j0 c( }) k m+ ~Hypothetical syllogism
! E/ @5 ]. Y, a. ?P --> Q, 取得 Q --> R 所以 P --> R! U- J, A7 o ?/ h, T
( a8 e, Y$ n5 ^- G: d4 v
De Morgan's theorem
8 Y" z- H- H" h% C- e7 Q~(P & Q) 所以 ~P or ~Q
. `0 l% t9 a9 g8 P~(P or Q) 所以 ~P & ~Q |
|