|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: l. U' _" v1 o$ P# ~9 Y# k' o/ SP --> Q, 因為 P 所以 Q o a: F6 G5 t/ Z" z8 S% _/ D6 f$ m9 J
$ X, |1 a+ i4 l- F5 l9 r5 |
Modus tollendo tollens/ O4 X$ Z8 D3 i( D; d+ }
P --> Q, 取得 ~P 所以 ~Q( x. A8 t/ T$ g# ? U# u
3 F% I; ^& V- j( Q6 L: Z& f, _6 R& g
Disjunctive syllogism+ c: ]! G P" X6 g5 ]
P or Q, 取得 ~P 所以 Q, u- {/ z7 c; R2 W! h8 T+ V
P or Q, 取得 ~Q 所以 P
4 e; A# I" ?# a& J9 a" o8 q/ I9 N h O' c. D* p2 ?: q' ]
Conjunctive syllogism
: p2 J" y" f Q5 _~(P & Q), 取得 P 所以 ~Q! _# ?2 _, [* r d- J5 l
~(P & Q), 取得 Q 所以 ~P, C6 Y" y5 C8 Y
+ u/ \9 g$ s4 v& D
Hypothetical syllogism
% q9 _$ t$ X/ A; m0 FP --> Q, 取得 Q --> R 所以 P --> R
0 @5 z8 ]! E8 a& |3 |8 X: g1 Q; R2 E2 u
De Morgan's theorem
, ]# f$ { M8 I" Z; I3 a' m/ F~(P & Q) 所以 ~P or ~Q+ O0 e K9 v6 x& I9 B, m( d1 s' F% J
~(P or Q) 所以 ~P & ~Q |
|