     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ y6 u: R1 [7 q. K: mP --> Q, 因為 P 所以 Q$ S4 g' J' V& _# I9 U, n- q
6 ?* b( J; h* R
Modus tollendo tollens
! f* E2 o! D0 FP --> Q, 取得 ~P 所以 ~Q. k5 R4 s% S/ Y
' V) ?2 D/ ~' u6 V# J: |/ t4 J- lDisjunctive syllogism8 v; _) V3 @+ N6 E& T
P or Q, 取得 ~P 所以 Q9 j4 ^$ @2 |4 b% D# s; j
P or Q, 取得 ~Q 所以 P+ V8 Z, V" O+ W
+ Y; ^3 w& L- X9 rConjunctive syllogism
" q' X0 F6 m0 a; M* `~(P & Q), 取得 P 所以 ~Q
$ U. T, i" T+ U; c1 F~(P & Q), 取得 Q 所以 ~P: g3 M5 k$ v- e$ E, d0 [
/ i/ M6 G: Q) t& N5 u+ Y+ }, e
Hypothetical syllogism
0 W$ D3 `3 W9 ^P --> Q, 取得 Q --> R 所以 P --> R4 |; H: f7 d& V) {8 d3 d5 K
9 @- u; m5 B Y$ O3 h( K% sDe Morgan's theorem5 k& C8 F# d) V8 o# f6 a
~(P & Q) 所以 ~P or ~Q; q1 I6 U# X. H! G; w
~(P or Q) 所以 ~P & ~Q |
|