|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
1 N% t1 ^3 a( c% h/ ~" gP --> Q, 因為 P 所以 Q
- ]; @! V; R) Y' Y8 R9 F# @3 j& M# ~
Modus tollendo tollens; T8 e' P! N4 n, q3 H' f
P --> Q, 取得 ~P 所以 ~Q1 T# x) K% U/ e6 V m2 x3 ~8 h$ }7 ^
4 r! j: x+ b$ o; L# h' D
Disjunctive syllogism8 @7 d0 S& G+ Z' c) F+ _) _( {
P or Q, 取得 ~P 所以 Q
* V3 z! h/ r2 {' X- V1 a: k+ v+ _P or Q, 取得 ~Q 所以 P
- _; N+ B4 B. D! T& \, Y- P/ l- N* e' @6 W5 ?
Conjunctive syllogism+ I" F0 S1 {$ `
~(P & Q), 取得 P 所以 ~Q
# }8 N; @: \6 t2 `~(P & Q), 取得 Q 所以 ~P
' `' C. m# [. K: v1 }
' e1 x! ~: O f, i' S) dHypothetical syllogism
8 l3 d: D+ f0 o" L4 b0 }, f8 A+ }P --> Q, 取得 Q --> R 所以 P --> R
% |& ^2 n7 M- N( O. C7 I% q1 p6 c5 R( E/ U. k( D" n
De Morgan's theorem7 V' R7 S$ ]. D$ \/ f) L
~(P & Q) 所以 ~P or ~Q7 z; X$ p& S9 M
~(P or Q) 所以 ~P & ~Q |
|