|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
& w; I, P4 H) @ y! F( Y5 bP --> Q, 因為 P 所以 Q
. v+ W, e' |. b, P* P v* _
- q! X8 X: R% {$ ]) FModus tollendo tollens' x3 `4 I: u$ w* W7 ?
P --> Q, 取得 ~P 所以 ~Q
2 x) F! a8 K* p# t2 m3 S) h g1 ?' M+ P# M
Disjunctive syllogism
) {0 d' h3 x( HP or Q, 取得 ~P 所以 Q7 ^0 t7 n. s Z7 `6 a; K7 Y
P or Q, 取得 ~Q 所以 P
* s0 l. A) C6 v6 [
7 l7 g8 [7 K- ^9 PConjunctive syllogism) |0 S2 b' }& U' Z. W8 O
~(P & Q), 取得 P 所以 ~Q
% a2 p: @' H% Y3 f" w4 E~(P & Q), 取得 Q 所以 ~P
8 `: n( Z& I% v1 h% I, q# n- Q2 M# \
Hypothetical syllogism
# O- L# ?$ d- AP --> Q, 取得 Q --> R 所以 P --> R8 {7 Q- D2 S( n1 s# O
$ v0 d( a+ H6 Q# x
De Morgan's theorem$ y6 ~: ]7 o' k! e
~(P & Q) 所以 ~P or ~Q
! V$ j# K8 \9 V& M$ \. b/ H~(P or Q) 所以 ~P & ~Q |
|