|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens' V3 p: l, I2 g; M6 H; F u
P --> Q, 因為 P 所以 Q: O0 g4 ~( N# r: t' `# n; T+ t$ C0 `
. \5 {) p( x( N9 u. r3 j* GModus tollendo tollens
* q( i# ]* k% K- [: |9 X$ t. o% vP --> Q, 取得 ~P 所以 ~Q
1 M; D6 s( c) Y0 A; z8 {& |, I! E2 b3 a w+ L
Disjunctive syllogism! j3 x$ _, V& r4 i N9 W
P or Q, 取得 ~P 所以 Q
8 c1 ~1 [; b; ]0 wP or Q, 取得 ~Q 所以 P
0 t) ~& ^/ V/ T4 `% C; t! f% Z7 N3 R. }* v$ G1 r+ i8 m
Conjunctive syllogism
& h, i$ Z) m1 P# _5 C* ~- v~(P & Q), 取得 P 所以 ~Q
+ N% w5 V8 I2 X( q- y" v~(P & Q), 取得 Q 所以 ~P: _5 n# h; f- {) b8 ?0 Q
7 ^" a, @/ m9 S3 H" KHypothetical syllogism" C4 E1 \. U9 i1 Y
P --> Q, 取得 Q --> R 所以 P --> R
& D3 L) R/ d5 T% L1 r8 F- z" @/ d/ Z
De Morgan's theorem- k7 ^0 o3 J' V1 L0 u
~(P & Q) 所以 ~P or ~Q \% D, ^! P. Y( f
~(P or Q) 所以 ~P & ~Q |
|