|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
& i; ~. }/ G# _5 v f" TP --> Q, 因為 P 所以 Q2 M& X- ?7 {* O9 O7 m* r7 r/ i7 ]
7 K# r1 B$ h8 @' sModus tollendo tollens
! I- H0 c J7 F4 @2 P5 i1 rP --> Q, 取得 ~P 所以 ~Q8 w3 c1 ?5 q' q+ U U9 G" r
+ i' U" Z3 E- ~Disjunctive syllogism
' v+ n* G4 d3 GP or Q, 取得 ~P 所以 Q
5 h/ `! |! K" k# C7 x1 Z% hP or Q, 取得 ~Q 所以 P
; q5 n4 c# n1 n) Z7 B4 }: ]* ^
2 C S4 Y* G& d! RConjunctive syllogism+ Y! D! X% f H
~(P & Q), 取得 P 所以 ~Q1 n- e; h% {4 P4 S: T t' `$ v
~(P & Q), 取得 Q 所以 ~P7 w. [% i. Q0 S8 q& B! [5 @0 \. L3 w
3 I7 r! ~/ i" s8 ?1 {! W) RHypothetical syllogism6 y9 }( {, N& Z' n6 g" @- n) h1 b0 B
P --> Q, 取得 Q --> R 所以 P --> R
, Q% G8 r% }; U- W- H( f5 [: T4 D* B J1 I9 |/ j
De Morgan's theorem
" g, j! y2 A4 A8 p. B9 b; E8 Q~(P & Q) 所以 ~P or ~Q, B7 p9 j/ C& x2 F" {
~(P or Q) 所以 ~P & ~Q |
|