|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens4 N) e$ w! X! V0 E5 I& |
P --> Q, 因為 P 所以 Q( t; j0 C; n4 v7 X# p
4 n& Q2 G, N; w
Modus tollendo tollens+ `- x, t! Z# Z2 J' ]6 a+ t( s: [( G6 u/ M
P --> Q, 取得 ~P 所以 ~Q
) h6 W' w9 ]9 D7 C! I* x' l, X& l* }" M$ X- H, q0 C& e
Disjunctive syllogism+ {. R% Z' S a4 Q4 ]/ U8 `( w
P or Q, 取得 ~P 所以 Q8 r# }" c a. r b6 F/ }) E
P or Q, 取得 ~Q 所以 P
5 @+ @* t+ t6 L) I5 f- E" s2 ` a. P
Conjunctive syllogism, A5 K! Y2 D3 p. O$ U$ h
~(P & Q), 取得 P 所以 ~Q% v0 [' ]7 d$ J! n' d
~(P & Q), 取得 Q 所以 ~P
1 k* W# V8 e/ q' S( _6 O# k* j) Z$ Y. n. j6 d. Z9 t
Hypothetical syllogism7 _1 Y7 ]' Y1 M) j* s$ Z2 b
P --> Q, 取得 Q --> R 所以 P --> R6 y( l3 ?+ }1 J. W* ?4 B
2 K4 M4 m, j$ w
De Morgan's theorem0 g# S6 ^2 j! R4 m
~(P & Q) 所以 ~P or ~Q
" i% Z* m0 u3 B~(P or Q) 所以 ~P & ~Q |
|