|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
3 b: w/ G( Z; ?: rP --> Q, 因為 P 所以 Q* a9 d+ }$ u: P$ l" L
6 ^* r: w1 m) Y$ [Modus tollendo tollens
: ?. f" U; H2 ^# ~+ fP --> Q, 取得 ~P 所以 ~Q9 ^7 W( A8 m& V, c( A
' w1 V- M U, l$ }, J! O
Disjunctive syllogism+ R% K6 {# Z( E ?, ]4 _& g+ U
P or Q, 取得 ~P 所以 Q
; X; A8 Q+ h# ^' kP or Q, 取得 ~Q 所以 P: s" H4 [8 b4 u/ i1 }! ~6 B
# k1 m* n. \8 jConjunctive syllogism# m* A0 d- I8 ~2 U8 Y2 J
~(P & Q), 取得 P 所以 ~Q
6 t0 E8 A* M: `& Y$ [& E~(P & Q), 取得 Q 所以 ~P
( ~5 }) q3 o+ x% e, S1 ]
' _: q8 d1 g) O5 N3 ~Hypothetical syllogism* Q0 i# p4 H+ v: D1 y' i
P --> Q, 取得 Q --> R 所以 P --> R* M) j( l E6 X, j6 i
6 O$ N0 u' [$ EDe Morgan's theorem. L; [' E' O% Q/ j0 v2 r- s5 G' V
~(P & Q) 所以 ~P or ~Q
) w; ^# R7 y& l0 X$ e~(P or Q) 所以 ~P & ~Q |
|