|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens3 [9 O# H4 r: }7 g K- \7 E+ Q' J
P --> Q, 因為 P 所以 Q
- Q) q. j3 [7 [
! s6 n8 H5 K2 ~7 q6 \+ lModus tollendo tollens
$ r( Y9 p0 I# T, |' m) L* D5 S- m" p+ oP --> Q, 取得 ~P 所以 ~Q$ L" k" _( P1 T3 e7 z) v5 [# b
; P, O0 V( V% ?4 P/ y. eDisjunctive syllogism
8 k/ j( q3 V7 I9 o* y0 p$ K4 R$ @P or Q, 取得 ~P 所以 Q
7 b4 @: R& M: ~$ [P or Q, 取得 ~Q 所以 P9 M' w5 K3 ?8 s- N4 B# W% h4 `4 U
8 n4 m$ I+ b2 a% MConjunctive syllogism; b: r- j8 ?' ~+ c0 v
~(P & Q), 取得 P 所以 ~Q* `8 S# C5 H- b2 s
~(P & Q), 取得 Q 所以 ~P
8 B v. e! T) C: b/ r( `/ s
5 _8 m, ~9 M! y! d9 I6 CHypothetical syllogism
u: |. o2 U& l2 @P --> Q, 取得 Q --> R 所以 P --> R
- N' G* z) S9 B% K% x
- t; a, L' p1 J6 q2 {$ FDe Morgan's theorem( O1 D w2 f3 n6 c4 M
~(P & Q) 所以 ~P or ~Q' T* ^2 I/ S7 D6 ^
~(P or Q) 所以 ~P & ~Q |
|
