|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: S% n. e# @9 t- `P --> Q, 因為 P 所以 Q; ~& F: w) W8 s: I$ ?8 ]( I
9 |$ N: T3 R. n! K* `Modus tollendo tollens
9 L1 Z, U& ~& f. xP --> Q, 取得 ~P 所以 ~Q
' q3 g2 i: T' A, @& H
2 B6 l0 p# o9 H3 C: ~Disjunctive syllogism
5 T# Y) j, R2 a5 b2 [) bP or Q, 取得 ~P 所以 Q
) ` P# ~" G/ F) ` w7 p4 ^- Z3 O1 ZP or Q, 取得 ~Q 所以 P9 @/ i5 j b/ L* i
6 Q1 K( ~5 b7 @) G' i1 L: t
Conjunctive syllogism+ b6 ?* b4 H. t) V. u
~(P & Q), 取得 P 所以 ~Q
$ F2 A& q8 c- y p" d3 x~(P & Q), 取得 Q 所以 ~P
9 ~: _- }4 l$ I1 f8 M2 w2 Y* l8 V6 q- _2 ^/ D
Hypothetical syllogism _5 ?. F' U. ^
P --> Q, 取得 Q --> R 所以 P --> R- j# d: P5 O9 B# j4 G& b
+ X( Y, v0 n' u4 p* P
De Morgan's theorem
5 T# J1 R$ _. P5 f~(P & Q) 所以 ~P or ~Q$ o2 V. K3 y8 S
~(P or Q) 所以 ~P & ~Q |
|