     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
[5 g5 Z4 p: O# Y jP --> Q, 因為 P 所以 Q
5 @. c/ d% e6 S! T. S" P3 j: S& i5 g4 I% l' Z7 C3 X& v \
Modus tollendo tollens+ I/ E/ w0 n$ N. n" n- D7 a2 K1 H) Z
P --> Q, 取得 ~P 所以 ~Q
, @2 i; W& }3 \; x+ a3 L$ {3 o: m
3 p! C. s# S2 w- {% ~- GDisjunctive syllogism3 v7 \. L3 H* G' e2 _0 ^
P or Q, 取得 ~P 所以 Q; N! D# Z( c1 J R) p X
P or Q, 取得 ~Q 所以 P* m" Y) H0 e* ?0 X' `
0 O7 c- j$ F, q% }; A! `7 |. A
Conjunctive syllogism+ H0 ^7 d ]; A* x8 W0 Z) U$ {! V' m
~(P & Q), 取得 P 所以 ~Q
- y! t1 F+ w: \& k- D7 `~(P & Q), 取得 Q 所以 ~P6 E) B, K% A) A# w V; D) t4 A! ^( Z
# ?5 I6 t0 J. x$ s
Hypothetical syllogism
, F/ m1 f+ H/ w; P" C0 L9 i, u! zP --> Q, 取得 Q --> R 所以 P --> R
+ s4 a# i. `# S" D6 Y' j5 M- _; d+ B5 X
! B. O# O0 U9 l2 y! G- u4 A& @ \De Morgan's theorem/ D* E& H' `# Z! I$ y5 k" |( k
~(P & Q) 所以 ~P or ~Q
4 C( u$ p8 }; M$ N& C& W3 t~(P or Q) 所以 ~P & ~Q |
|