Unit 1 Discrete Mathematics
Unit 1 Discrete Mathematics
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Page 1 of 6
Discrete Mathematics
Predicates and Quantifiers
Predicates
Propositional logic is not enough to express the meaning of all statements in mathematics
and natural language.
Examples:
Is “𝑥 > 1” True or False?
Predicate Logic
Variables: 𝑥, 𝑦, 𝑧, etc.
Predicates: 𝑃(𝑥), 𝑄(𝑥), etc.
Quantifiers: Universal and Existential.
Connectives from propositional logic carry over to predicate logic.
A predicate 𝑃(𝑥) is a declarative sentence whose truth value depends on one or more
variables.
© 2020, I. Perepelitsa
Page 2 of 6
Quantifiers
We need quantifiers to express the meaning of English words including all and some:
Examples:
1. Let 𝑃(𝑥): “𝑥 > −𝑥” with the domain of all positive real numbers.
Find the truth value of ∀𝑥 𝑃(𝑥).
2. Let 𝑃(𝑥): “𝑥 > −𝑥” with the domain of all real numbers.
Find the truth value of ∀𝑥 𝑃(𝑥).
The truth value of ∃𝑥 𝑃(𝑥) and ∀𝑥 𝑃(𝑥) depends BOTH on the propositional function
𝑃(𝑥) and on the domain 𝑈.
Quantifiers
© 2020, I. Perepelitsa
Page 3 of 6
Precedence of Quantifiers
The quantifiers ∀ and ∃ have higher precedence than all the logical operators.
Example: ∀𝑥 𝑃(𝑥) ∨ 𝑄(𝑥) means (∀𝑥 𝑃(𝑥)) ∨ 𝑄(𝑥). ∀𝑥 (𝑃(𝑥) ∨ 𝑄(𝑥)) means something
different.
Negating Quantifiers
De Morgan laws for quantifiers (the rules for negating quantifiers) are:
Example: Express each of these statements using quantifiers. Then form a negation of the
statement, so that no negation is left of a quantifier. Next, express the negation in simple
English.
© 2020, I. Perepelitsa
Page 4 of 6
3. ∀𝑥(𝑥 2 > 𝑥)
© 2020, I. Perepelitsa
Page 5 of 6
Examples: Translate the statements into the logical symbols. Let 𝑥 be in set of all students
in this class.
1. Someone in your class can speak Hindi.
2. Everyone in your class is friendly.
3. There is a student in your class who was not born in California.
Example: Translate the following sentence into predicate logic and give its negation:
“Every student in this class has taken a course in Java.”
Solution:
First, decide on the domain U!
Solution 1: If U is all students in this class, define a propositional function J(x)
denoting “x has taken a course in Java” and translate as
Solution 2: But if U is all people, also define a propositional function S(x) denoting “x
is a student in this class” and translate as
© 2020, I. Perepelitsa
Page 6 of 6
© 2020, I. Perepelitsa
Methods of Proof
A proof is a logical argument that establishes the truth of a mathematical statement.
When we wish to prove an implication p -> q, we use different strategies depending on the nature of
p and q.
Types of Proofs
1. Trivial Proof
Idea: If q is true, then p -> q is true regardless of the truth value of p.
Example: Prove that if x > 0, then x^2 + 1 > 0.
Since x^2 + 1 > 0 is always true, p -> q holds trivially.
2.Vacuous Proof
Idea: If p is false (or p is a conjunction of hypotheses, one of which is false)
vacuously true.
3.Direct Proof
Idea: Assume p is true and logically deduce q using axioms, definitions, and rules of inference.
Example: Prove that if n is even, then n^2 is even.
Assume n = 2k (definition of even).
Then n^2 = (2k)^2 = 4k^2 = 2(2k^2), which is even.
4. Proof by Contradiction (Indirect Proof)
Idea: Assume p is true and q is false (not q). Derive a contradiction r and not r, proving p -> q must
hold.
5. Proof by Contrapositive
6. Proof by Cases
Idea: Break p into cases p1, p2, ..., pk, and prove pi -> q for each case.
2. Construct the truth table for the compound proposition: (p ∨ q) → (¬ p ∧ q).Determine whether the
statement is a tautology, contradiction, or contingency
4. Construct the truth table for the following propositions and determine if they are logically
equivalent:
5. A student passes the exam if: "They score at least 40 marks in theory and at least 30 marks
in practicals."
6. A phone manual states: "If the phone is fully charged, then the charging indicator turns
off."
8. A company policy states: “If an employee works 100 hours per week, they get extra
leave.” However, no employee works 100 hours per week. Is this statement vacuously true?
Explain.
9. Provide a counterexample to disprove the statement: "If a and b are even, then ab is
divisible by 8."
11. Prove using direct proof: The sum of two odd integers is even.
12.Disprove the following statements using a counterexample:
For any prime number p, p+2 is prime number.
If is even, then both a and b must be even.