|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens% Y1 q4 T& E" P* p$ }. v# L
P --> Q, 因為 P 所以 Q4 Y- R& N. j8 z$ M- M9 H5 M
( n) D& q* O: a: I: K! i
Modus tollendo tollens1 ^3 }" L" n" I
P --> Q, 取得 ~P 所以 ~Q
- e7 N8 V7 e4 Q' |2 t8 w. h2 _% x/ F4 x' @# r8 ?4 f
Disjunctive syllogism
$ t9 ^4 `5 w1 I8 n- s, dP or Q, 取得 ~P 所以 Q! D! i7 j: F* [* D/ R: J8 I
P or Q, 取得 ~Q 所以 P
" D) H4 K3 \" c' c7 B# w
8 I# \$ X: ^1 j" F JConjunctive syllogism
: g4 ]5 J. A1 I5 o: b~(P & Q), 取得 P 所以 ~Q
$ ^& s8 F3 p) D# \& J7 T~(P & Q), 取得 Q 所以 ~P5 g/ q' l* ^3 g3 d4 l1 D4 C2 v
) b8 ?/ ~: w' S6 R; G3 D: |! \
Hypothetical syllogism# }5 y3 J* T# n
P --> Q, 取得 Q --> R 所以 P --> R' i/ n/ z# L9 X6 }! A( u. d7 n
! T( ~) C6 G. b4 P1 Q
De Morgan's theorem! }* S D6 c1 K) a- B
~(P & Q) 所以 ~P or ~Q4 w* \, r8 h6 S: N4 E7 o, e6 p
~(P or Q) 所以 ~P & ~Q |
|