     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens" h1 i. X8 ]9 x/ }
P --> Q, 因為 P 所以 Q$ @( @+ _' u" N }, W6 k I/ h
' R, p& D. c" {1 v; L3 \2 G( K. Q% i
Modus tollendo tollens2 ~ q) W3 J* ^; g
P --> Q, 取得 ~P 所以 ~Q
, V6 @+ m1 l+ \, w8 q
0 E! [7 L/ `% z F; wDisjunctive syllogism3 i; E, v0 e) _! y: D) j4 S9 ^3 B1 h! m
P or Q, 取得 ~P 所以 Q
/ l, r3 H7 c+ y6 O$ GP or Q, 取得 ~Q 所以 P
6 W6 J! R. R- S1 ]2 C4 q- V
1 w0 U7 o* E3 f/ c0 u8 c; ^Conjunctive syllogism
4 R C" {6 _) X~(P & Q), 取得 P 所以 ~Q
* o" P7 b) f! i9 ]6 v~(P & Q), 取得 Q 所以 ~P! Y. ]0 p& W7 Z, J
! P1 Y# H" E, z7 y1 ?Hypothetical syllogism
2 { h7 q$ |/ h' MP --> Q, 取得 Q --> R 所以 P --> R+ Y" ~! S0 v( A) v! d6 U
' f! q5 f. G, M- T2 i- K7 tDe Morgan's theorem, @2 T2 S8 _- U6 Q% S
~(P & Q) 所以 ~P or ~Q
& y4 K) g; q- l) y, c~(P or Q) 所以 ~P & ~Q |
|