|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens3 U* S/ `6 y1 q0 P8 L# Z; j
P --> Q, 因為 P 所以 Q0 d, A! s ^3 J5 f
& u3 y1 d$ ~' T0 d
Modus tollendo tollens$ F, X2 H, f5 a7 U+ C
P --> Q, 取得 ~P 所以 ~Q
. a7 V% o& E4 {' c, l
! Q b8 }, w3 i: @- E) w. mDisjunctive syllogism
9 z1 w& o5 N* h. l( bP or Q, 取得 ~P 所以 Q
. b# v0 g y7 aP or Q, 取得 ~Q 所以 P5 l: G7 }* `# W9 c# t4 O) Y5 Q" ^; h7 Y4 Q
" Z4 y9 J \1 B$ B9 D- m# L* C n8 ~
Conjunctive syllogism% {8 L% \' @2 f- B0 s0 e8 R
~(P & Q), 取得 P 所以 ~Q2 }( d) z1 G4 B8 g
~(P & Q), 取得 Q 所以 ~P
- v4 H, A) G* ^% B" b; e) W
8 u7 N# P6 m3 T4 Q1 e- [ FHypothetical syllogism7 W" \9 i/ A+ R0 S7 ^
P --> Q, 取得 Q --> R 所以 P --> R8 l9 W- j1 s, _, g
( E& q, z2 p6 k1 ?6 K$ sDe Morgan's theorem1 k4 k5 ~4 \2 B
~(P & Q) 所以 ~P or ~Q
z3 q9 R6 D, Y9 Y~(P or Q) 所以 ~P & ~Q |
|