|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens2 t( I* ^9 D9 o/ t1 N
P --> Q, 因為 P 所以 Q
& x- R, k) z7 w+ C2 m, O1 F2 B- C; W# n. `5 C, }
Modus tollendo tollens
# N Z+ Y' a0 ~3 ~, e8 v0 eP --> Q, 取得 ~P 所以 ~Q
. k% x6 R. @: L W d9 C9 N/ z; T; M: c4 E3 |; {& r+ v# X
Disjunctive syllogism
4 G; r* b7 F& EP or Q, 取得 ~P 所以 Q
5 T- B* E/ v S$ ^ j8 L8 Q/ X- s+ gP or Q, 取得 ~Q 所以 P7 y# f) D$ M# f2 @6 _: s
/ Z. ?$ Z6 @8 ]6 tConjunctive syllogism5 Z& B8 {" W) {3 a+ h
~(P & Q), 取得 P 所以 ~Q
8 F* I( Z. F) ^; T, @~(P & Q), 取得 Q 所以 ~P
5 Y8 z. S8 L F1 r; c$ h: s. x; C4 x5 F4 J! y3 ^
Hypothetical syllogism
! A5 M2 P3 B( m7 F/ E% AP --> Q, 取得 Q --> R 所以 P --> R; {# B8 Y8 e+ O+ [/ H
% x# ~: P3 O5 x2 q
De Morgan's theorem1 a/ }; B1 X1 J% I! e \9 } Q
~(P & Q) 所以 ~P or ~Q
. ^& H" P: G+ ~, P+ Q, u~(P or Q) 所以 ~P & ~Q |
|