|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ c1 N0 s( B: d$ HP --> Q, 因為 P 所以 Q" y! z: r8 o- O+ ~$ K5 ?, m q% N) _
9 w6 |: }% d2 b I+ v. bModus tollendo tollens6 j% S6 g- o. o r
P --> Q, 取得 ~P 所以 ~Q6 t) G8 \2 H G* R% I) E9 \
, n% R" F( l+ A& y4 ~Disjunctive syllogism# I) Z9 M# \. k! ]0 ?
P or Q, 取得 ~P 所以 Q
9 V; S& S5 W9 ?+ A4 bP or Q, 取得 ~Q 所以 P* d$ o2 W8 @# h, I4 o
( w1 f* T1 T5 \( ?9 C
Conjunctive syllogism7 L3 H j! \- O& v5 C, H
~(P & Q), 取得 P 所以 ~Q
3 Y- v* I M+ \& a~(P & Q), 取得 Q 所以 ~P+ _# k' X E' A
, N: L" Y7 P' i: Z; _Hypothetical syllogism; j- f% G1 ]$ j( c% W
P --> Q, 取得 Q --> R 所以 P --> R% Q, z& H( M2 n4 I8 b9 {2 v
9 p: H2 ]% a4 F* E6 O" f8 A( \De Morgan's theorem
V3 a* ^1 R; X- y& M+ g~(P & Q) 所以 ~P or ~Q D! ^; ^0 ~6 F% P3 H
~(P or Q) 所以 ~P & ~Q |
|