|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens9 V5 h/ i" `6 T s: ]
P --> Q, 因為 P 所以 Q/ @2 ^$ t$ E& j9 j8 b3 y
# `2 o3 i3 i& c: s5 x
Modus tollendo tollens4 m& I3 u' b6 Q/ q1 c
P --> Q, 取得 ~P 所以 ~Q1 g8 b" O' M, V0 n1 S
! }) S+ \. q+ }2 k
Disjunctive syllogism$ C5 o" ]7 D3 d+ U
P or Q, 取得 ~P 所以 Q
' v G) i, s( j: S4 gP or Q, 取得 ~Q 所以 P1 w0 Y/ H& S$ f d6 b
6 i- z! m! j# l# x& @8 P- p9 H
Conjunctive syllogism/ r& U& e6 Z$ ~6 q0 w: g) b4 ~
~(P & Q), 取得 P 所以 ~Q% A* C6 k8 [& k) x! I# m
~(P & Q), 取得 Q 所以 ~P2 d4 b+ }6 v% i1 p; K% G! A" n
8 {) P+ e. \5 v' t/ p& z
Hypothetical syllogism
) q! b1 P' A! ?P --> Q, 取得 Q --> R 所以 P --> R* n, ?/ I- k. I( ~
9 R- v" `' y4 C. Q) ?: D* XDe Morgan's theorem
( z2 `& u. X: W) i9 }~(P & Q) 所以 ~P or ~Q
, j, y9 L4 A% p& R~(P or Q) 所以 ~P & ~Q |
|