|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
" L6 ?! _7 O4 L! {2 M) m @P --> Q, 因為 P 所以 Q
, Z: l4 I: C# W7 n1 T
7 o# a- Q! i7 s: I7 z; t2 p( Q2 u$ rModus tollendo tollens3 l' J; f! o- `! g! G4 z
P --> Q, 取得 ~P 所以 ~Q# y8 w% o) t) G1 e. a6 \
! z( j" u/ p2 d: uDisjunctive syllogism8 c! ~ m0 A$ v8 |3 O
P or Q, 取得 ~P 所以 Q* q) H3 d" S! B* y2 z0 C. j
P or Q, 取得 ~Q 所以 P
$ L2 E1 w7 E6 g5 x% i8 e& w4 x( J& k; [4 \0 s/ X9 }1 B
Conjunctive syllogism; L' c+ P$ V5 }1 C: q [; J& D
~(P & Q), 取得 P 所以 ~Q; _. k+ |. Q; V7 G& I
~(P & Q), 取得 Q 所以 ~P7 \8 H: C! E1 r6 J$ o. v
8 Q- w3 d( V; {- h1 \9 qHypothetical syllogism1 L7 L+ L3 Q% h9 D7 x P
P --> Q, 取得 Q --> R 所以 P --> R
1 S1 X. X. W" o: {! z8 g6 w! c! @
De Morgan's theorem
4 ]* l; ~; j, R~(P & Q) 所以 ~P or ~Q9 s( |# H7 K" O! _0 D) J/ `
~(P or Q) 所以 ~P & ~Q |
|