     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
" o" H* u% _0 }) w" }( ] W NP --> Q, 因為 P 所以 Q; `8 `7 s2 Q1 e6 U' ]2 x
1 q8 b8 ]+ |5 R9 f& r
Modus tollendo tollens' W2 S, R& v. A3 N+ M: Y) O u
P --> Q, 取得 ~P 所以 ~Q
) U# s7 j/ X- S* @2 ~- ~
7 x k# c @7 U5 l, V* n$ zDisjunctive syllogism/ s; d; j; x( G0 ^. O
P or Q, 取得 ~P 所以 Q: |% J! P6 T1 o% e) V7 v3 Z
P or Q, 取得 ~Q 所以 P" t. M) G: o. L
: Y, J, d, ^7 S
Conjunctive syllogism6 ~$ s( x( x2 R* L! _3 R
~(P & Q), 取得 P 所以 ~Q6 d* C: X! A1 y& x
~(P & Q), 取得 Q 所以 ~P
3 _& P3 `$ ]; S& r5 ^3 Y4 y; M
2 f3 z2 F- ^4 @, g* d& UHypothetical syllogism
3 k0 Q: p; X# M) g5 U0 w& UP --> Q, 取得 Q --> R 所以 P --> R2 Y- Q( ?2 q+ E; F
) m/ U. s4 ~/ m# s3 B6 Y0 i! Z
De Morgan's theorem
- G. F$ S: M8 i+ D9 N+ a~(P & Q) 所以 ~P or ~Q! P. L0 D6 Y" ^) G2 K( d, H
~(P or Q) 所以 ~P & ~Q |
|