|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* ^$ Y. [3 G o ^P --> Q, 因為 P 所以 Q- v/ ]0 I# B' R* G/ c/ `' R1 K
) X( }0 n; m/ L3 u, r
Modus tollendo tollens8 v0 A) s' N1 d7 c" y
P --> Q, 取得 ~P 所以 ~Q
5 F( p/ I% [& h+ B# U
9 W8 E; }3 \' E% m! rDisjunctive syllogism2 w' ~& \ u- A+ ?
P or Q, 取得 ~P 所以 Q! T. e+ p3 A4 ^! }1 t/ Q, [
P or Q, 取得 ~Q 所以 P8 }! N2 J' t! a9 d* X) g
! _5 k, @* S5 B# q5 x
Conjunctive syllogism
6 J/ D, L0 _- z* U5 M~(P & Q), 取得 P 所以 ~Q
: X* V3 @4 y2 V* z' d~(P & Q), 取得 Q 所以 ~P
8 j8 a$ q7 I2 s6 r' w' x% L
+ `9 C" d0 V1 V0 O. H- ]- v, z5 DHypothetical syllogism( S$ R& A' `- r% ?
P --> Q, 取得 Q --> R 所以 P --> R
~' P \, x/ k( G5 ?# }; e9 P/ r" ?$ ~1 j. B
De Morgan's theorem
% F6 o$ ]' }/ J- L4 A; r4 L6 C~(P & Q) 所以 ~P or ~Q; P* [8 q# @9 |
~(P or Q) 所以 ~P & ~Q |
|