|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens1 g6 g& b) ~' N+ I9 p
P --> Q, 因為 P 所以 Q# K$ q' C: a8 \* O. p5 u9 _
0 E: A8 O5 A6 O2 G S; h
Modus tollendo tollens3 S+ f" ]5 a7 L- _; Q' R0 H$ k
P --> Q, 取得 ~P 所以 ~Q
* e! k4 p$ z# j3 h
. w" U9 c, w0 I( u; C* hDisjunctive syllogism
. P9 k- f" p N% y2 O) h* fP or Q, 取得 ~P 所以 Q
$ J1 X' Q. q3 F1 A; @. iP or Q, 取得 ~Q 所以 P: R' p$ |* F2 |: u4 }/ \0 J
! J6 u M" C0 X9 qConjunctive syllogism8 |5 r: |/ r! b# H6 q8 H
~(P & Q), 取得 P 所以 ~Q
7 b: v6 p# O, l& ^~(P & Q), 取得 Q 所以 ~P
) |) t9 F/ J0 b2 q
8 u: q; g- H% g. }) DHypothetical syllogism
. @% f8 t6 U/ I5 eP --> Q, 取得 Q --> R 所以 P --> R
0 m1 n& L% {7 ?6 ?( l0 t+ X
$ ?! y: j4 a5 j+ p- XDe Morgan's theorem% b1 ^5 ^- R) `, h* ~# U* U
~(P & Q) 所以 ~P or ~Q Q% }* c" @3 T+ Y5 _
~(P or Q) 所以 ~P & ~Q |
|