|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens% i# O4 F1 q* a+ t3 [' J& E( y4 X
P --> Q, 因為 P 所以 Q9 t" k+ p% p9 j. i/ H
% `- U0 X/ K3 w f+ p$ i$ e: X
Modus tollendo tollens
( M; f9 Z( Y% Z, f/ } j' } wP --> Q, 取得 ~P 所以 ~Q: A+ [* w: F5 A+ _" a" M, A0 I
: h2 S& Z9 t) u3 z7 y& Z- n
Disjunctive syllogism n* |) N3 k9 w: s9 e: f6 ?
P or Q, 取得 ~P 所以 Q
7 `: n6 V; f8 E1 ~" v1 R. _. ^" ]: S( pP or Q, 取得 ~Q 所以 P
/ c; E% f7 s" Q2 x% }' p) k; P' c0 Y' Z# B4 i/ x
Conjunctive syllogism
4 e" \, m4 C; _2 L/ `" @, e9 i~(P & Q), 取得 P 所以 ~Q6 A- ^$ x8 W i3 ]3 {* f
~(P & Q), 取得 Q 所以 ~P! F. [7 _# [ ^4 J4 w$ f- r1 G; M+ B
# t3 E. f0 _. x; Y+ SHypothetical syllogism
: X0 v u- v, v- d2 VP --> Q, 取得 Q --> R 所以 P --> R4 i, A! O- V* v3 O r
2 A6 r% |! Q( F% C2 F& d) Z' p; e: LDe Morgan's theorem+ S/ y) W6 e3 }% M
~(P & Q) 所以 ~P or ~Q
: s. R, |$ P# r9 b4 x/ m$ k) R, R~(P or Q) 所以 ~P & ~Q |
|