     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens0 y, P8 E* w8 v) S- U$ U
P --> Q, 因為 P 所以 Q6 s0 r7 G; e5 z) P; R7 W- d5 L
! {& g8 w$ A7 }2 d, `, o- \- k) fModus tollendo tollens
" @7 i6 \/ z5 _; EP --> Q, 取得 ~P 所以 ~Q
$ n4 Q. {/ {& }/ V Q l4 {, C& @* H
Disjunctive syllogism, a* h' v/ E4 z5 d! r' H. s
P or Q, 取得 ~P 所以 Q
) J+ b7 b* h7 n4 q% {. kP or Q, 取得 ~Q 所以 P
! ^2 f! d1 A# L% p |6 Q( A2 H! [# G9 `3 E
Conjunctive syllogism
3 B' L) E" S' K' u! F& o9 l~(P & Q), 取得 P 所以 ~Q9 n5 ?$ X4 Q1 f' j' K l% h7 k
~(P & Q), 取得 Q 所以 ~P' I7 Z* _8 d/ b5 B8 \
( f( g3 ?, [$ O1 _2 M4 U2 h% QHypothetical syllogism! q0 H; _+ m% Z$ k! _
P --> Q, 取得 Q --> R 所以 P --> R- _# M) A, b" f: q% R5 p
& Q1 }2 E6 ?/ j6 ^. A0 a# \+ HDe Morgan's theorem7 R* Z, q8 _. b8 A+ ^6 c4 o
~(P & Q) 所以 ~P or ~Q# I5 ^4 ?- R% F/ f; r1 P( f1 R
~(P or Q) 所以 ~P & ~Q |
|