|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens( g" C% B9 I- E, \5 k
P --> Q, 因為 P 所以 Q2 x& b8 P# ]! _! K5 |/ m% H& o
( c' {, a5 ~( C1 s( L8 x6 f [5 W, E
Modus tollendo tollens
$ G( G$ F5 e+ B# p3 L2 [, nP --> Q, 取得 ~P 所以 ~Q# A! {3 l# l: u* l% T
+ c) O* W1 U$ I- h/ ^( `Disjunctive syllogism% v6 L% M& G/ R! _
P or Q, 取得 ~P 所以 Q
6 b8 E1 I! G k. H+ K$ TP or Q, 取得 ~Q 所以 P
) N, i! O4 G8 ]4 y, U4 L7 c* ], X7 i
Conjunctive syllogism
( h' g9 A; v4 {3 D L~(P & Q), 取得 P 所以 ~Q; g! u& U! X: f/ ]6 h
~(P & Q), 取得 Q 所以 ~P8 \- v% P: Y7 q4 H. m/ @
! m, [# x& R1 ?$ Q, V8 |
Hypothetical syllogism
, `' w& U: w( k" a! kP --> Q, 取得 Q --> R 所以 P --> R" w/ V; {( Y! ~
3 K+ h! J7 F0 G( w& sDe Morgan's theorem
' j A" h0 S$ K4 R9 V~(P & Q) 所以 ~P or ~Q
4 ]* i! ~% Y# y* v~(P or Q) 所以 ~P & ~Q |
|