|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
- C2 K" I# v1 I3 pP --> Q, 因為 P 所以 Q% W2 W5 N. O4 @# I% S5 t
F' Q$ b1 v' _& }2 |, }- }
Modus tollendo tollens3 G N3 P. [& ?9 E& t- E
P --> Q, 取得 ~P 所以 ~Q
" @0 d- e% X1 X6 a) S0 ~+ b- V3 e/ L1 p9 I: o' u8 X- h, g
Disjunctive syllogism+ C! D& [9 |' Z
P or Q, 取得 ~P 所以 Q% n% r/ ~8 d! `' Z2 x" g s
P or Q, 取得 ~Q 所以 P
, _% p) W o, I) j% {( }& V/ x k( e- d0 j
Conjunctive syllogism u6 r! `% q, s; T- F0 D7 Q2 d
~(P & Q), 取得 P 所以 ~Q
7 q+ e; n% j- ?& T4 _8 K~(P & Q), 取得 Q 所以 ~P
n1 d" @7 k% h; X* _3 y
; \, F1 E) _ c% qHypothetical syllogism4 X9 F3 P! N# Q' e! @+ ?1 h. t
P --> Q, 取得 Q --> R 所以 P --> R
; I* w. ~0 J8 ~( J8 E+ r ~7 R3 i+ f" |! S0 \' h9 B7 {9 s2 b
De Morgan's theorem" k! i3 M9 `9 M8 l5 k. k6 Z
~(P & Q) 所以 ~P or ~Q
1 U+ B; |0 ?) j6 h9 f2 [5 E0 L' I$ K~(P or Q) 所以 ~P & ~Q |
|
