|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
* V2 I) i6 Z" K+ W2 |- `- M* IP --> Q, 因為 P 所以 Q& V2 h& B1 j. W, y3 ~; T
, T0 V7 |* X# B- K2 r
Modus tollendo tollens
* j) T2 d3 f( ?1 j: xP --> Q, 取得 ~P 所以 ~Q6 I5 P h4 e- e: l6 c4 g7 U$ U" Z o7 ^
7 V: R+ Z: n: b+ z, V
Disjunctive syllogism
3 W2 ~: Y2 d+ y+ g8 E: GP or Q, 取得 ~P 所以 Q h2 Z5 a; d1 ~
P or Q, 取得 ~Q 所以 P
! M) D3 D+ `0 H% L8 I# ^
% |4 T; z% a* ^1 d7 [" KConjunctive syllogism0 a: x8 U# ?+ {% E! ?/ l
~(P & Q), 取得 P 所以 ~Q2 |; _ Q) ?' V: O1 W
~(P & Q), 取得 Q 所以 ~P! H4 m: d6 x+ u+ `6 a' i P
' B. j6 h; D# I) ^; d& JHypothetical syllogism
* |6 v9 L8 f: i9 r8 aP --> Q, 取得 Q --> R 所以 P --> R* D! {! I8 t% k/ a8 Z) W3 {
- l, v" H, o0 n7 ?8 e* L ~& ?$ _De Morgan's theorem6 i( a. b( t; ?1 Y# G+ Q
~(P & Q) 所以 ~P or ~Q
: r" W6 i8 M3 H& U6 c~(P or Q) 所以 ~P & ~Q |
|
