|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
1 U+ B7 x' u2 q! X% e6 f9 a* hP --> Q, 因為 P 所以 Q$ b& v2 R2 T" d$ K5 a
+ g" R9 m) i6 k! }# j# c: UModus tollendo tollens- i' M* V1 `% y! W7 j
P --> Q, 取得 ~P 所以 ~Q
# w0 |- x0 }, o* B! D$ r; {5 O( F
Disjunctive syllogism/ G& E6 m( I3 S8 n: J
P or Q, 取得 ~P 所以 Q! y0 X7 [! k& ]" s: m
P or Q, 取得 ~Q 所以 P
7 S$ w; C3 w! J! T$ O# F* m
. P9 z8 @& N) o% }- m/ S4 L8 q* \, U jConjunctive syllogism' Y% K" H4 w N+ E; F' @; B6 F
~(P & Q), 取得 P 所以 ~Q
7 m! K( O9 L+ ^ c d8 x) {0 e C- {~(P & Q), 取得 Q 所以 ~P
! B% M( w( F& ^% k2 G7 X: }: l" @" c" O$ b
Hypothetical syllogism) @ O* K. S9 _4 n
P --> Q, 取得 Q --> R 所以 P --> R) T; y( G+ u; O+ }
; O. v* F9 A0 U `. q
De Morgan's theorem( ^$ ]2 C$ m; ^- C3 D% O
~(P & Q) 所以 ~P or ~Q
2 m0 Z8 z) r* X4 X% p/ n$ ~7 R~(P or Q) 所以 ~P & ~Q |
|