|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens4 M8 u$ @$ m# e9 C+ w7 Q( U! ]
P --> Q, 因為 P 所以 Q
! m; B% m2 s- p0 @% B' ^$ Q! \1 v3 |7 W( O2 s8 }% u
Modus tollendo tollens
8 x B* ]5 k* Y# BP --> Q, 取得 ~P 所以 ~Q+ j6 L+ H* g. p9 w
* d7 T% _: G4 N6 o
Disjunctive syllogism
4 D# ^: f3 D) r7 M7 }7 }. FP or Q, 取得 ~P 所以 Q
+ o8 `& d" g9 b( I6 g. pP or Q, 取得 ~Q 所以 P9 Z1 L7 E5 J7 P
: b' I" M6 P; E* e! m. ^8 y% E
Conjunctive syllogism. O% |0 L$ j& O# x d5 _- r
~(P & Q), 取得 P 所以 ~Q2 X4 _6 r+ ?0 J0 m0 ~
~(P & Q), 取得 Q 所以 ~P
; i. A" p9 u' @1 s5 P. e
# L4 t. V4 O. c% k) r' vHypothetical syllogism
' L) s2 ~& q, AP --> Q, 取得 Q --> R 所以 P --> R. O3 {8 W. ~4 m% e& p) e1 e% Q
2 {0 ?2 W7 ?/ w) e2 [De Morgan's theorem
# j3 z' y: B* }7 f; | W- d~(P & Q) 所以 ~P or ~Q- X% B* `( s; M9 b8 V$ W
~(P or Q) 所以 ~P & ~Q |
|
