|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
/ m, U$ W" o, |3 p/ O4 uP --> Q, 因為 P 所以 Q7 c/ D. [2 C& \6 @
& F* L g1 H6 \: ^; F
Modus tollendo tollens
- b7 _3 O& A" C# i7 tP --> Q, 取得 ~P 所以 ~Q
* ^ R% `) |. I: |8 B0 X* y' A9 b$ \/ ~+ X
Disjunctive syllogism
6 f9 D6 U/ x% F) y, I$ AP or Q, 取得 ~P 所以 Q
! Z/ ]; _; ]2 F6 ~9 v) J/ |* p( kP or Q, 取得 ~Q 所以 P' ?0 a: N1 b$ m8 s9 a
0 t" y" { T' a P, J/ `
Conjunctive syllogism
/ S& N+ x& [/ M' N3 w~(P & Q), 取得 P 所以 ~Q
) N' {' e g( K k~(P & Q), 取得 Q 所以 ~P \' ?9 r/ u+ Q
7 C* n$ b- q" t& V6 Q( s% o# YHypothetical syllogism
, \2 a+ `$ b' \& f, K9 KP --> Q, 取得 Q --> R 所以 P --> R
0 m. n2 S! ~. J C$ \3 @% p
3 Y) T8 l0 ~( H0 D; b% wDe Morgan's theorem' g/ [" ^. k; {" c7 c0 N3 n8 @
~(P & Q) 所以 ~P or ~Q7 V; S8 O# \5 f3 h4 }
~(P or Q) 所以 ~P & ~Q |
|