clkgtr

Modus ponendo ponens
( R& a' @8 K* iP --> Q, 因為 P  所以 Q9 L4 `5 o' u' U
4 \  {" o# E7 w& m) [
Modus tollendo tollens
# b, Z( u$ g7 V5 ~! ~5 R- dP --> Q, 取得 ~P  所以 ~Q1 I; K1 B: ?5 w( p- }1 [
: B; m, e$ A2 i3 R: D
Disjunctive syllogism( o, K; I& ~: j1 K# K% V7 k# s
P or Q, 取得 ~P  所以 Q
3 `" r# [4 o* }5 L. @7 y" OP or Q, 取得 ~Q  所以 P( G3 T* ?! z- y* L& F

' C! n" I' }3 {% Y2 P2 J/ ~$ lConjunctive syllogism
- u$ G+ P" c9 T7 t$ p1 v' s" D~(P & Q), 取得 P  所以 ~Q) d/ ?4 A* o4 B4 ^2 S3 v1 Q1 ]" {
~(P & Q), 取得 Q  所以 ~P( B$ I6 j% z$ o9 X" I+ U
4 N" c4 K% t5 w' s( r: E4 q' @
Hypothetical syllogism5 l4 ?8 v2 }! b' M4 \6 F5 F
P --> Q, 取得 Q --> R  所以 P --> R
2 W: [& b( j+ X/ j' e$ N. }( u# E
( u$ z* r, Y2 E3 U2 ^De Morgan's theorem
- k& g$ V9 W( y& Y$ E' M; R. E6 D2 c+ P~(P & Q)  所以 ~P or ~Q# _9 y/ y* H6 U4 |* o. j
~(P or Q)  所以 ~P & ~Q