clkgtr

Modus ponendo ponens& t! h) o+ ^7 g+ z" H" Q3 n" E: i9 Z
P --> Q, 因為 P  所以 Q
  p9 p8 v2 d5 x) a, d* ]2 ?3 u3 ~3 I4 a& r- |" a
Modus tollendo tollens5 o' u5 ?! H4 \  A# h8 c1 e
P --> Q, 取得 ~P  所以 ~Q
. V. T, j; E' R6 O( j1 V2 Z+ L, P8 W1 A$ ?+ B
Disjunctive syllogism
* @+ t; w3 Z0 o0 Y0 x1 ~P or Q, 取得 ~P  所以 Q
" Y: S- X; S3 x4 a2 x$ [3 zP or Q, 取得 ~Q  所以 P
) l' _& f* H1 |  s2 x
: v! t  z4 c. {6 V. z7 ~5 _' _Conjunctive syllogism# h2 c( p" x/ [2 C1 s
~(P & Q), 取得 P  所以 ~Q
/ `' T. q# W! B/ x4 G~(P & Q), 取得 Q  所以 ~P; p5 W  Q1 g  ~6 A- c0 T- M* P

0 D, ?# D& d! H7 {3 g- Q8 d, t" JHypothetical syllogism( p& I" i. K6 |7 T$ B9 N2 W
P --> Q, 取得 Q --> R  所以 P --> R
, F, b" X/ ], R
7 u+ J6 |% e5 b! p) e4 F7 B+ nDe Morgan's theorem
1 I5 e5 e( N8 ?( ^5 ?~(P & Q)  所以 ~P or ~Q% \7 M: z3 j1 V
~(P or Q)  所以 ~P & ~Q