|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# v8 ^/ t0 B9 t
P --> Q, 因為 P 所以 Q2 q% U0 X& q9 J. B6 m6 |
5 o2 L) F7 K4 l
Modus tollendo tollens
2 Q$ ~/ o* f3 WP --> Q, 取得 ~P 所以 ~Q
8 w8 P! F* t4 v! |+ L) e; x* J! ]" p' F# Y# z8 I' w1 z
Disjunctive syllogism( z8 C) u7 Y5 S6 C
P or Q, 取得 ~P 所以 Q
; k- f! b; T* a5 c0 X5 K i- n$ |P or Q, 取得 ~Q 所以 P
1 q+ s9 R# a8 ]5 S) n1 {8 |$ J% o$ O' i! N) \& `, D
Conjunctive syllogism2 H E) }3 M& t
~(P & Q), 取得 P 所以 ~Q" n# X5 j- I! Q) T
~(P & Q), 取得 Q 所以 ~P
! U' X3 r+ g- O* q
& `: f% R$ i$ M" u I( }Hypothetical syllogism% T6 `* a8 c3 F; ]: f
P --> Q, 取得 Q --> R 所以 P --> R
! `& D1 X# L. x) E! ?* m5 ]1 a% f, t6 f; p' k3 N
De Morgan's theorem% y" x( g2 r, b
~(P & Q) 所以 ~P or ~Q
! C+ p3 s: t0 E6 L8 e~(P or Q) 所以 ~P & ~Q |
|
