|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens) A% T2 i! ^1 P4 _# z
P --> Q, 因為 P 所以 Q$ W- R4 R+ S, }7 R# D) L/ @
- [& Z$ z$ g. f9 r
Modus tollendo tollens
; V; k0 v% D( |8 wP --> Q, 取得 ~P 所以 ~Q3 @. B7 o7 m7 \4 o; L) M q' g
& w; h2 T& K# r, ?+ tDisjunctive syllogism( ] F; L5 x7 t# a. d# f8 X* y
P or Q, 取得 ~P 所以 Q5 t) ^) Z# g9 S f5 c; q: O
P or Q, 取得 ~Q 所以 P+ k! A% C. _9 d
3 {+ E" A5 j+ _/ p0 Q
Conjunctive syllogism
0 e& x$ N& \6 c% \~(P & Q), 取得 P 所以 ~Q
# P. U4 _. s) R* l4 ~; o% D5 T~(P & Q), 取得 Q 所以 ~P
4 l/ j4 Y/ I2 K$ } k! J4 H z6 ?% b8 O
Hypothetical syllogism9 O2 P& T/ }+ C% |
P --> Q, 取得 Q --> R 所以 P --> R" v6 ~, p' D% j' n1 N
. [ r+ V# V* I( k7 K# i3 t2 ?# a; I
De Morgan's theorem. @& }7 \0 _1 l. h
~(P & Q) 所以 ~P or ~Q
. Y R$ e; |- |8 Y~(P or Q) 所以 ~P & ~Q |
|