DM Sheet
DM Sheet
(k)
commutativity x ⋅ y = y ⋅ x and x + y = y + x Equivalence: re exive, symmetric, and transitive n
Contrapositive law A ⇒ B = B′ ⇒ A′ distributivity: x ⋅ ( y + z ) = x ⋅ y + x ⋅ z and Partial order: re exive, antisymmetric, and transitive Coe cient of x k in the expansion of (x + y) n is
x + ( y ⋅ z ) = (x + y) ⋅ (x + z )
( k ) (k − 1) ( k )
Total order: partial order and connected
Propositions n n n +1
Basic Theorems Equivalence class: [a] = {x ∈ A|xRa} Pascal's identity + = ;
De Morgan's law ¬[( ∃ x)P (x)] ≡ ( ∀x)[ ¬P (x)] && idempotent laws x ⋅ x = x and x + x = x
( k ) k !(n − k )!
n n!
¬[( ∀x)P (x)] ≡ ( ∃ x)[ ¬P (x) tautology and contradiction x + 1 = 1 and x ⋅ 0 = 0 =
associative laws x ⋅ ( y ⋅ z ) = (x ⋅ y) ⋅ z and x + ( y + z ) = (x + y) + z
conjunction p ∧ q → ( p ∧ q)
absorption laws x ⋅ (x + y) = x and x + (x ⋅ y) = x
simpli cation p ∧ q → p uniqueness of complement: if x ⋅ y = 0 and x + y = 1 then y = x̄
addition p → p ∨ q De Morgan's theorems x ⋅ y = x̄ + ȳ and x + y = x̄ ⋅ ȳ
Duality principle every theorem remains true if we replace ⋅ with + and 0 with 1
law of detachment [ p ∧ ( p → q)] → q Contradiction: by assuming that the statement is false and then showing that this assumption leads to a
law of the contrapositive [( p → q) ∧ ( ¬q)] → ¬p contradiction with a known fact.
Boolean functions
modus tollens [( ¬q) ∧ ( p → q)] → ¬p Exclusive or x ⊕ y = x ⋅ ȳ + x̄ ⋅ y Exponential and Logarithmic
modus ponens [( p → q) ∧ p] → q Implies x → y = x̄ + y functions
power rule l o ga x n = n l o ga x
If the horizontal line intersects the graph of a function in all places at exactly one point, then the given
disjunctive syllogism [( p ∨ q) ∧ ( ¬p)] → q function has an inverse that is also a function.
product rule
log(a b) = log a + log b
hypothetical syllogism [( p → q) ∧ (q → r)] → ( p → r) quotient rule
a
resolution [( p ∨ q) ∧ ( ¬p ∨ r)] → (q ∨ r) log = log a + log b
b
b 1
universal instantiation [( ∀x)P (x)] → P (c) reciprocal rule log =
a ab
universal generalization P (c) → ( ∀x)P (x)
universal modus ponens [( ∀x)(P (x) → Q (x)) ∧ P (c)] → Q (c)
universal modus tollen
Structure of induction
[( ∀x)(P (x) → Q (x)) ∧ ( ¬Q (c))] → ( ¬P (c)) 1. Basis step: show that the statement is true for n = 1.
converse error [( ∀x)(P (x) → Q (x))] → ( ∃ x)(Q (x) → P (x)) 2. Inductive step: show that if the statement is true for n = k,
then it is also true for n = k + 1.
existential fallacy 3. Conclusion: by the principle of mathematical induction, the
statement is true for all positive integers n.
[( ∃ x)(P (x) → Q (x))] → ( ∀x)(Q (x) → P (x))













fl
ffi
fi
ff
fl
fl
fi