|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
2 K0 r0 y) O$ G" nP --> Q, 因為 P 所以 Q
' c1 j* z' d8 J! G. K
# w2 Z' ]4 g5 ?2 y8 C6 y6 |4 cModus tollendo tollens
0 \! F, n% z m- ? F# U/ }" dP --> Q, 取得 ~P 所以 ~Q
# `' B. S7 Y9 Y8 J$ F9 N) D& A) G1 Z! O' Q: H: c5 }3 H. I* a1 Z/ e
Disjunctive syllogism8 \! l5 B" L2 l" c; @) F: ?1 W
P or Q, 取得 ~P 所以 Q3 W4 g7 z1 A7 k5 ~) A
P or Q, 取得 ~Q 所以 P4 M/ D# w& q/ }4 S# Q& c
' w6 y# {2 V6 U; `: L) h/ q- qConjunctive syllogism
@4 y5 E5 p; ?. h: w~(P & Q), 取得 P 所以 ~Q
! L% J% ?5 M5 V/ @; F, R~(P & Q), 取得 Q 所以 ~P6 ?8 R! e: h9 t0 Q2 [: |. R z* U4 c
/ e7 i! b, t+ Z. J3 U
Hypothetical syllogism2 U$ F+ M6 d5 p& x% A2 q
P --> Q, 取得 Q --> R 所以 P --> R7 s- \( x. I2 y. Y' S! h
( o# H( v( S, GDe Morgan's theorem: n8 [- G2 l1 k9 c# O# e
~(P & Q) 所以 ~P or ~Q
6 }5 W& s6 F( ?* L% X) A8 T! Y~(P or Q) 所以 ~P & ~Q |
|