|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
2 S* t5 r- M2 p, HP --> Q, 因為 P 所以 Q8 A% ]' V$ h$ h6 u( R7 s# e! N( M9 B# j
: Z' s& P# D( uModus tollendo tollens. h+ D# G' L" ?/ L
P --> Q, 取得 ~P 所以 ~Q
* T" E! L4 X. ~5 k
/ z5 b% U* R- |- [Disjunctive syllogism% U3 l2 e0 q$ i7 X1 ~$ W
P or Q, 取得 ~P 所以 Q4 [+ m3 E9 S! J4 F& h
P or Q, 取得 ~Q 所以 P: E" g: J5 R: H+ X
9 z: c# A/ y) h4 L
Conjunctive syllogism
) o. ?: ]" J' c$ I0 V( ~; `4 I~(P & Q), 取得 P 所以 ~Q" y" y: ] K9 @" J" z9 d- p
~(P & Q), 取得 Q 所以 ~P
# \* G( f5 ^2 ^# h' u6 p) z4 j( \' s6 |' ?- n4 ]
Hypothetical syllogism8 i* T1 h$ Z" i) Q W( Q
P --> Q, 取得 Q --> R 所以 P --> R
6 t1 W" L+ X4 B+ {) X( V! K R1 b0 v- |1 r! Q, m K
De Morgan's theorem' A7 v9 t# x" D$ m4 e* z7 Q
~(P & Q) 所以 ~P or ~Q
+ c: T8 I5 F F a, o~(P or Q) 所以 ~P & ~Q |
|