- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
; ]6 }. G" S& o, V1 {3 z0 T# @P --> Q, 因為 P 所以 Q
4 Z+ n5 Z* j/ ?% f U. m( j! d; {- P# s8 v7 q, V# o
Modus tollendo tollens/ w0 B5 x( S" H# F4 |
P --> Q, 取得 ~P 所以 ~Q7 v5 z/ g: ?$ s
5 k0 W5 U8 x. g8 e% [
Disjunctive syllogism: h% y: U9 p) h' u, b- E/ Z) x
P or Q, 取得 ~P 所以 Q$ ]7 o" S6 [" O" e% P6 T
P or Q, 取得 ~Q 所以 P
5 G) t) l3 k0 L/ `& Y4 N( s# Q6 r7 I+ h: t. u9 A) x
Conjunctive syllogism
O& U" G' r* I1 A/ Z~(P & Q), 取得 P 所以 ~Q( F4 ]' [- R6 U& ~
~(P & Q), 取得 Q 所以 ~P4 I; i/ E& \# R
. x5 Z2 K: K! d r. q y
Hypothetical syllogism2 c5 i) b; l- B( T p
P --> Q, 取得 Q --> R 所以 P --> R
1 F% p) l# R: `
( q+ }' W% F8 |7 f! K7 zDe Morgan's theorem
/ T2 v e& ?) z w" J7 t~(P & Q) 所以 ~P or ~Q/ f; I$ j- P# @1 w7 O- V. g9 @: |" q/ q
~(P or Q) 所以 ~P & ~Q |
|