|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens2 Q" m' n+ X1 |/ a$ G9 o+ n
P --> Q, 因為 P 所以 Q' x5 {8 n6 _5 [6 B1 W
3 `. H/ V' e8 n& C; a2 sModus tollendo tollens6 H0 y/ w: ^6 n0 u5 ]
P --> Q, 取得 ~P 所以 ~Q' K6 ^1 `2 m o- ^) |1 R
5 I; [6 |9 ]" \( @1 X
Disjunctive syllogism
- _& Q8 A# N: P' I5 m& N/ UP or Q, 取得 ~P 所以 Q0 Q" V4 }" g& V
P or Q, 取得 ~Q 所以 P
9 B# q' F* ~ Z0 `& d2 I- Q' E# j6 N5 N* w+ g2 U0 U
Conjunctive syllogism4 ?0 d' n0 R. n& `' L9 h
~(P & Q), 取得 P 所以 ~Q
! p$ R! @5 \ Z: u5 T~(P & Q), 取得 Q 所以 ~P1 Y8 ~' j1 h$ d- Q5 ~& S
; y5 b* y* o' h+ VHypothetical syllogism- D7 h' E) G$ N2 E
P --> Q, 取得 Q --> R 所以 P --> R
' z" r+ ^% g4 r0 z2 n
. m! ?& C+ A* A1 ~+ X5 jDe Morgan's theorem0 y0 Y; u2 D8 B9 c" v! d7 }; L; B0 a- L
~(P & Q) 所以 ~P or ~Q N& u: _& E' I# v1 B
~(P or Q) 所以 ~P & ~Q |
|