|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
1 _+ ^* I/ }% x' e) c! {P --> Q, 因為 P 所以 Q! X$ X5 a4 Q) ^: }- W6 X
* l* h( W9 H Z( [3 M
Modus tollendo tollens
& i3 k. g$ y2 f. `; i9 f: JP --> Q, 取得 ~P 所以 ~Q
; V" ^/ U9 q; _1 T
; o2 {1 |& P4 h8 u+ i4 z: gDisjunctive syllogism
; v+ X. B) y/ t5 R9 _- iP or Q, 取得 ~P 所以 Q
) W5 Q5 O+ a5 `& ^7 C) D- K. r& J) lP or Q, 取得 ~Q 所以 P
0 N( S2 F! t' Y& }& M: G
4 p$ f% }; s& W8 PConjunctive syllogism
+ ~* M. ^4 R7 `- o. z' Z+ M% `~(P & Q), 取得 P 所以 ~Q
- B" T* R/ a/ q( M% q~(P & Q), 取得 Q 所以 ~P
' J1 h' i% p0 w/ H5 _
' P% M5 t' B; o, ~Hypothetical syllogism
( w z7 Y: R/ O2 I% K6 e9 K) hP --> Q, 取得 Q --> R 所以 P --> R
* p6 t; E4 M, o2 R; V
8 K1 v+ ~# j9 a; j; y) h' n# gDe Morgan's theorem
4 b, R% l* v) c1 d% F7 y~(P & Q) 所以 ~P or ~Q
' H! p/ x! F& i% D8 ^, v~(P or Q) 所以 ~P & ~Q |
|