     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
/ `, X6 I/ N; Q& k3 ZP --> Q, 因為 P 所以 Q; k; d- |2 R: i
! n& c, ~% \0 ^6 P2 tModus tollendo tollens
! e! A, z3 D( r3 p" G9 qP --> Q, 取得 ~P 所以 ~Q
$ S4 n0 S: x. ]. Z. P
0 F( ~6 j3 h+ ` ]9 u- [Disjunctive syllogism5 F; g% w8 O# _& V9 C- t
P or Q, 取得 ~P 所以 Q
) K+ Z" g. {* H2 K+ e. Q9 DP or Q, 取得 ~Q 所以 P
8 J% N4 G$ [! H$ \9 e. g" s+ y. e
Conjunctive syllogism
' L2 H( c8 l) j5 o7 a- c~(P & Q), 取得 P 所以 ~Q- \7 j& u' @9 |( o" g) Z8 ^1 m
~(P & Q), 取得 Q 所以 ~P# c' ?) h0 B( r9 U: l
" n1 p5 D& O/ \- Y9 w& w7 ?
Hypothetical syllogism
9 h' m: `# ~; d0 J* ^P --> Q, 取得 Q --> R 所以 P --> R" E) x. P) r! b2 H! r9 J0 D# e
# x- g4 ?1 T. KDe Morgan's theorem
+ G1 G& o- Q# s) R' o~(P & Q) 所以 ~P or ~Q
5 E7 K/ U0 R8 z* w; u8 f$ T~(P or Q) 所以 ~P & ~Q |
|