|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens- O9 x, c) `0 g4 q# q5 P0 I9 I
P --> Q, 因為 P 所以 Q
$ t, S- O: R& n, D7 |1 B5 q" U& w- j4 F; a$ x E
Modus tollendo tollens8 G& ?0 b& {; O; y4 x
P --> Q, 取得 ~P 所以 ~Q
: x, D) e# o$ [
( F* K! |; N$ i- b- `8 ?1 b/ JDisjunctive syllogism% b" U8 B$ f+ X% D9 h
P or Q, 取得 ~P 所以 Q. n0 P' B3 h5 }7 S, s
P or Q, 取得 ~Q 所以 P
1 i: e6 ]) R( N* l" _, P" S& h! s5 G. I5 M% I7 b W0 j
Conjunctive syllogism
8 b+ s' K) F- c$ l, t~(P & Q), 取得 P 所以 ~Q
. e: E) A0 n' p2 ]~(P & Q), 取得 Q 所以 ~P4 W! A% A# I& l( _. U
" [! w7 i+ y+ l3 T7 C9 b4 dHypothetical syllogism
8 t& q/ e2 S: j* lP --> Q, 取得 Q --> R 所以 P --> R
6 R. _: j Q- b/ j3 t
; ~" L6 I' X' P3 ~% C# eDe Morgan's theorem
) X* J; { ~% R9 w( s. T- w~(P & Q) 所以 ~P or ~Q
8 |* Y! `- [" k; y# V; c/ M7 W~(P or Q) 所以 ~P & ~Q |
|