|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# O3 e; y0 \/ g$ n( b. q
P --> Q, 因為 P 所以 Q
/ [$ M/ Y" Q( K' `0 S% F2 \3 N
7 W& |/ |& q: B. C* O2 ?/ Y3 nModus tollendo tollens
: c& O7 R$ x4 MP --> Q, 取得 ~P 所以 ~Q
8 ?/ J% J9 R# `" Y6 O
1 Q# g+ y* ?* F0 P6 B$ _3 IDisjunctive syllogism
# \$ a3 l. l; \" _; Z" Q; ~8 VP or Q, 取得 ~P 所以 Q$ u. V& q8 l* g: e3 v+ ?
P or Q, 取得 ~Q 所以 P
4 R* h, d3 h7 v+ V1 m* m
( f) E! v% V* VConjunctive syllogism
) X. i; V2 W& h( A+ V1 \3 [- @~(P & Q), 取得 P 所以 ~Q
. q) e' Q* ~) e' e1 d; P~(P & Q), 取得 Q 所以 ~P
0 J! L' O) U/ j5 H4 s( J( O# w- b( l- k8 ~
Hypothetical syllogism
- Z3 s/ E3 S* U4 {P --> Q, 取得 Q --> R 所以 P --> R* I4 P6 k$ F/ K% T
5 G: G% x$ `8 W w" I& k6 YDe Morgan's theorem1 U0 Z; g9 n. L% w
~(P & Q) 所以 ~P or ~Q! I3 f. t9 ]; K+ ~& z
~(P or Q) 所以 ~P & ~Q |
|