|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens5 a! b1 w: C- v* e5 ^ P( o2 k
P --> Q, 因為 P 所以 Q1 K5 m! K" X: y1 w1 e/ G; L
' A ?* |' m9 ]- D& G% h7 QModus tollendo tollens- ?& S. i: s, U3 ?8 o" y
P --> Q, 取得 ~P 所以 ~Q
& d" h' \1 i7 n& q" ]$ I4 ^" a: Q7 q
/ m) j& T& @/ C4 bDisjunctive syllogism
1 O0 j4 a+ ^$ T' \' NP or Q, 取得 ~P 所以 Q
9 V8 n9 ~; V7 |/ xP or Q, 取得 ~Q 所以 P, E* d8 L4 x+ v5 Q; [9 O9 ]. d
/ U. H% c4 A/ i' L7 PConjunctive syllogism- q- K+ ?) _% }% ?, Q
~(P & Q), 取得 P 所以 ~Q
% P5 \& q: `+ X" m; }5 x* q~(P & Q), 取得 Q 所以 ~P6 H S$ I( W2 N$ D U# ?
/ Y& I% y! |* r- @2 [: b' T; K
Hypothetical syllogism
) h: z% E' {; Q8 cP --> Q, 取得 Q --> R 所以 P --> R
! L" v0 n+ e+ k! c) _+ l
4 m, L; F- v$ V4 I. K" rDe Morgan's theorem4 Y2 g/ _2 u0 g) D0 o2 o3 d* c
~(P & Q) 所以 ~P or ~Q; R J; E f$ O6 ?5 S( a' k' I0 r
~(P or Q) 所以 ~P & ~Q |
|