- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
3 x( X, O+ D; z3 l+ s" p4 H, g) iP --> Q, 因為 P 所以 Q6 o: u* a D2 A# T0 W6 C! W
O4 r) H9 D. O' e5 \1 n
Modus tollendo tollens
4 ]: I* H- V& o* ^P --> Q, 取得 ~P 所以 ~Q
! l5 I9 }. Q6 O# [, S$ q* J8 D/ J
Disjunctive syllogism, @9 v# E2 g3 t6 l4 t5 C
P or Q, 取得 ~P 所以 Q+ B `+ l, R' n$ x
P or Q, 取得 ~Q 所以 P3 n( d- Y3 V$ L/ h, _) p! O
7 y2 O/ z: n3 b9 O. ?
Conjunctive syllogism
p8 [+ Q$ p5 k: u. Q' ~0 R* P- Q9 _~(P & Q), 取得 P 所以 ~Q
8 J1 P b2 S' r d* }# L~(P & Q), 取得 Q 所以 ~P
* V4 L, O$ n. D# X1 c6 R% {% N: n9 L) |7 R4 E3 i- ^/ i9 K
Hypothetical syllogism
S2 k& e5 _; n! ]P --> Q, 取得 Q --> R 所以 P --> R
. v7 O7 z6 u/ V( Y; K* [2 p
( {: `4 @8 q0 ^& i2 WDe Morgan's theorem5 s6 N* i0 l% V8 l M
~(P & Q) 所以 ~P or ~Q
4 c: n2 f0 T. j# w, Y( l~(P or Q) 所以 ~P & ~Q |
|