|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens0 M/ f/ P3 s8 V4 y1 z6 {& D
P --> Q, 因為 P 所以 Q
, q* c# d' y9 u' V/ r+ F$ N$ f
- J* o* M5 _$ O9 N, IModus tollendo tollens7 O, s# i8 N9 G6 W) ]) q; W
P --> Q, 取得 ~P 所以 ~Q
0 G# ]6 ?2 P3 j) m' J# F( R7 u0 q: V& Q6 w
Disjunctive syllogism) s+ F7 i7 h. l6 w! v
P or Q, 取得 ~P 所以 Q
7 ]0 t5 ^- m/ f( @. q: JP or Q, 取得 ~Q 所以 P: L& `8 U, B$ }& h6 \1 P
+ a0 b; x/ F YConjunctive syllogism
& g+ {7 J! X8 k v$ Z~(P & Q), 取得 P 所以 ~Q5 e) y `& |4 z; s6 W. Q! H
~(P & Q), 取得 Q 所以 ~P
* e- e7 Z; J6 ?5 Y% u$ N0 t0 }- @& u' x/ J, \
Hypothetical syllogism
4 J/ o1 W$ d& q& W' W' f# F- f/ ?P --> Q, 取得 Q --> R 所以 P --> R7 f- j4 A; ~- U
* ^! Q5 s; ^; M! U- ]7 j4 V, f
De Morgan's theorem! I; q8 ?8 I( k: V m" y5 j
~(P & Q) 所以 ~P or ~Q2 d4 E: O* d. K
~(P or Q) 所以 ~P & ~Q |
|