|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ s& [$ R9 i* Z7 W. v/ qP --> Q, 因為 P 所以 Q0 d x$ h2 \3 ~! u
. G7 x6 ]- ~1 i% p" Y) yModus tollendo tollens
% m/ _& @3 H9 [4 V; LP --> Q, 取得 ~P 所以 ~Q
, `! K3 ~1 n- C
3 h) p+ | |, EDisjunctive syllogism: Z( q3 |4 \% I5 ?* z' V- x* `
P or Q, 取得 ~P 所以 Q
$ |9 }/ Y3 P1 S9 O+ r. o$ i+ oP or Q, 取得 ~Q 所以 P
- x$ W0 A6 @* t- v5 A* W
% c2 ?2 y1 q5 MConjunctive syllogism# K2 B: A/ y" @& \
~(P & Q), 取得 P 所以 ~Q
3 l) c: \# Q' @, Q8 V# g/ s/ G~(P & Q), 取得 Q 所以 ~P9 C, h# G) J8 z$ p
6 w' p- X1 T( x& R3 k- L# CHypothetical syllogism: O5 ~. G$ J! ^5 H- f3 Z# W" a+ _) B
P --> Q, 取得 Q --> R 所以 P --> R
5 ~- e: t$ f4 s
d% r' h$ r9 QDe Morgan's theorem
- K; Q6 r8 k; n& t' n) y) q~(P & Q) 所以 ~P or ~Q
" H& N- c9 ?* M5 U~(P or Q) 所以 ~P & ~Q |
|