|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens% W3 Z$ N, g6 F% A- a" Z
P --> Q, 因為 P 所以 Q% X$ [' Y8 k, F" m
8 L4 _8 r3 a( _. Q2 y% DModus tollendo tollens
1 n/ l6 Z/ ?; V4 k3 OP --> Q, 取得 ~P 所以 ~Q6 P9 ]# c* R& C3 k( I3 D6 f
( P; A& P: E# I' e1 I6 {
Disjunctive syllogism
& [+ v9 I& \& w+ s" @P or Q, 取得 ~P 所以 Q6 a3 I0 y8 T, | ?
P or Q, 取得 ~Q 所以 P# p3 H/ p! \- X2 j
; f1 I5 v" B# C" }; XConjunctive syllogism
0 t5 {/ A4 G1 A3 e% c! K~(P & Q), 取得 P 所以 ~Q
) M3 J) u" C8 A5 ~~(P & Q), 取得 Q 所以 ~P6 N* Z5 C4 `) s2 e0 f: c
* j6 @& A- i1 E
Hypothetical syllogism8 a5 q, L, R% o9 R
P --> Q, 取得 Q --> R 所以 P --> R: j* @: N0 [9 |7 F, o. U
! g, \' g$ ] d" aDe Morgan's theorem
; }1 F& P( Q! E: s+ O: ?7 `6 r~(P & Q) 所以 ~P or ~Q
9 T5 _" K" z) j ]5 m~(P or Q) 所以 ~P & ~Q |
|
