|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens& x" I0 e) _ P( t
P --> Q, 因為 P 所以 Q
: _) `$ {, ~8 R, {$ v2 N' ^' c5 f2 N" D, Q. @' e0 y+ h1 l
Modus tollendo tollens
+ U7 t6 l% F& VP --> Q, 取得 ~P 所以 ~Q
& N! D4 R! D0 q$ S \; i0 w
- _. o* Z1 b3 [6 D- o. VDisjunctive syllogism8 a3 M% M# F8 h$ K
P or Q, 取得 ~P 所以 Q
% C, D. p6 r' RP or Q, 取得 ~Q 所以 P
/ F5 h: ?* S/ ~4 W, W' {: i+ d1 P5 c% Q( N0 L) \1 j" T
Conjunctive syllogism
; x; F2 k" E1 R~(P & Q), 取得 P 所以 ~Q
0 k1 ^6 A4 ? Q' S5 n+ a! ?0 w~(P & Q), 取得 Q 所以 ~P) }! v9 [9 v p
( i5 A$ n8 ^! _. x9 bHypothetical syllogism' \5 _% s( e6 b) J' z: H% X
P --> Q, 取得 Q --> R 所以 P --> R
/ w {* M% G6 M2 b- |+ P4 d2 }0 Q) n& r1 S* ?) E
De Morgan's theorem
' I# }: l4 l) V* ]' T! F6 ]~(P & Q) 所以 ~P or ~Q
! t: _4 {& E7 L) u" y3 c" ^~(P or Q) 所以 ~P & ~Q |
|