     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: O1 V* S! Y7 w
P --> Q, 因為 P 所以 Q
' i5 T, @" M1 Z% z! {
0 r5 M* }) _- J& q6 s7 p" |Modus tollendo tollens' Z' K/ N4 K" V/ ^1 O* v
P --> Q, 取得 ~P 所以 ~Q' H; Z$ `/ O8 h# _
# k- z) F' E5 D% [: \& x$ W( LDisjunctive syllogism; l4 ^5 s% ?: ]! _( o' E9 l. n! }
P or Q, 取得 ~P 所以 Q) Y6 `& @2 U) p8 D
P or Q, 取得 ~Q 所以 P
, V' U! i# s: N8 X" S
9 p0 M5 F/ y; r4 y ?# E) K5 g: cConjunctive syllogism. @4 B, {9 H/ ?' V H1 v
~(P & Q), 取得 P 所以 ~Q
- X; ~ k0 E: c~(P & Q), 取得 Q 所以 ~P8 [* J) E; o4 C. S% o6 ]
2 s' x$ O+ g3 O1 n# h4 P% g" ?2 Z/ j' UHypothetical syllogism. R4 t9 A) g( d& W ^
P --> Q, 取得 Q --> R 所以 P --> R* f2 e1 d( I' p0 ^' T- _4 j& M
" m0 t! ]1 S/ z% L6 x. D& i
De Morgan's theorem0 q/ t# u% y1 x6 ^6 Z8 t
~(P & Q) 所以 ~P or ~Q
2 k# F* I) h" ]$ r3 Q~(P or Q) 所以 ~P & ~Q |
|