Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai

Chapter 1
Xuan Toan, Tran Hong
Tai

Logics
Discrete Structures for Computing on June 16, 2024
Contents
Propositional Logic
Logical Equivalences
Exercise

Nguyen An Khuong, Tran Tuan Anh, Mai Xuan Toan, Tran Hong
Tai
Faculty of Computer Science and Engineering
University of Technology - VNUHCM
[email protected]
1.1
Contents
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

1 Propositional Logic
Contents
Propositional Logic
Logical Equivalences
2 Logical Equivalences Exercise

3 Exercise

1.2
Course outcomes
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Course learning outcomes

L.O.1 Understanding of logic and discrete structures
L.O.1.1  Describe definition of propositional and predicate logic
L.O.1.2  Define basic discrete structures: set, mapping, graphs
Contents
L.O.2 Represent and model practical problems with discrete structures
L.O.2.1  Logically describe some problems arising in Computing Propositional Logic
L.O.2.2  Use proving methods: direct, contrapositive, induction Logical Equivalences
L.O.2.3  Explain problem modeling using discrete structures Exercise

L.O.3 Understanding of basic probability and random variables

L.O.3.1  Define basic probability theory
L.O.3.2  Explain discrete random variables

L.O.4 Compute quantities of discrete structures and probabilities

L.O.4.1  Operate (compute/ optimize) on discrete structures
L.O.4.2  Compute probabilities of various events, conditional
ones, Bayes theorem

1.3
Logic
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Definition (Averroes)

The tool for distinguishing between the true and the false.

Contents
Definition (Penguin Encyclopedia) Propositional Logic
Logical Equivalences
The formal systematic study of the principles of valid inference Exercise
and correct reasoning.

Definition (Discrete Mathematics - Rosen)

Rules of logic are used to distinguish between valid and invalid

mathematical arguments.

1.4
Applications in Computer Science
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

• Design of computer circuits

• Contents
Construction of computer programs
Propositional Logic
• Verification of the correctness of programs Logical Equivalences
• Constructing proofs automatically Exercise

• Artificial intelligence

• Many more...

1.5
Propositional Logic
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Definition

A proposition is a declarative sentence that is either true or false,

but not both. Contents
Propositional Logic
Examples Logical Equivalences
Exercise
• Hanoi is the capital of Vietnam.

• New York City is the capital of USA.

• 1+1=2
• 2+2=3

1.6
Examples
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Examples (Which of these are propositions?)

• How easy is logic!

• Contents
Read this carefully.
Propositional Logic
• H1 building is in Ho Chi Minh City. Logical Equivalences
• 4>2 Exercise

• 2n ≥ 100
• The Sun circles the Earth.
• Today is Thursday.
• Proposition only when the time is specified

1.7
Notations
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Contents
• Propositions are denoted by p, q, . . . Propositional Logic
Logical Equivalences
• The truth value (ch¥n trà) is true (T) or false (F)
Exercise

1.8
Operators
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Negation - Phõ ành: ¬p

Contents
Propositional Logic
B£ng: Truth Table for Negation Logical Equivalences
Exercise
p ¬p
T F
F T

1.9
Operators
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Conjunction - Hëi: p∧q Disjunction - Tuyºn: p∨q

 p and q  p or q
Contents
p q p∧q p q p∨q Propositional Logic
Logical Equivalences
T T T T T T Exercise
T F F T F T
F T F F T T
F F F F F F

I'm teaching DM1 and it is We need students who have

raining today. experience in Java or C++.
Tomorrow, I will eat Pho or Bun
bo.

1.10
Operators
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Exclusive OR - Tuyºn lo¤i : p⊕q Implication - K²o theo : p→q

 p or q (but not both) if p, then q
Contents
Propositional Logic
p q p⊕q p q p→q Logical Equivalences
Exercise
T T F T T T
T F T T F F
F T T F T T
F F F F F T

If it rains, the pavement will be

wet.

1.11
More Expressions for Implication p → q
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

• if p, then q
• p implies q
Contents
• p is sufficient for q
Propositional Logic
• q if p Logical Equivalences
• p only if q Exercise

• q unless ¬p
• If you get 100% on the final, you will get 10 grade.

• If you feel asleep this afternoon, then 2 + 3 = 5.

1.12
Conditional Statements From p → q
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

• q → p (converse - £o ) Contents

Propositional Logic
• ¬q → ¬p (contrapositive - ph£n £o )
Logical Equivalences
• Prove that only contrapositive have the same truth table with Exercise
p→q

1.13
 Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Exercise

What are the converse and contrapositive of the following

conditional statement
Contents
If he plays online games too much, his girlfriend leaves him.
Propositional Logic
Logical Equivalences
• Converse: If his girlfriend leaves him, then he plays online Exercise
games too much.

• Contrapositive: If his girlfriend does not leave him, then he

does not play online games too much.

1.14
Biconditionals
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

p↔q
 p if and only if q

p q p↔q Contents
Propositional Logic
T T T
Logical Equivalences
T F F
Exercise
F T F
F F T

•  p is necessary and sufficient for q .

• if p then q , and conversely.
• p iff q .

1.15
The order of operators
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

• 1. in the bracket()
Contents
• 2. negation ¬ Propositional Logic

• Logical Equivalences
3. ∨, ∧, ⊕
Exercise
• 4. →
• 5. ↔

1.16
Translating Natural Sentences
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Exercise

I will buy a new phone only if I have enough money to buy iPhone
Contents
4 or my phone is not working.
Propositional Logic
Logical Equivalences
• p: I will buy a new phone Exercise
• q: I have enough money to buy iPhone 4

• r: My phone is working

• p → (q ∨ ¬r)

1.17
Translating Natural Sentences
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Contents
Exercise Propositional Logic
He will not run the red light if he sees the police unless he is too Logical Equivalences
risky. Exercise

1.18
Construct Truth Table
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Exercise

Construct the truth table of the compound proposition

(p ∨ ¬q) → (p ∧ q).
Contents
Propositional Logic
Logical Equivalences
Exercise
p q ¬q p ∨ ¬q p∧q (p ∨ ¬q) → (p ∧ q)
T T F T T T
T F T T F F
F T F F F T
F F T T F F

1.19
Exercise - Truth table
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

¬p → (¬q ∨ r)

p q r ¬p ¬q ¬q ∨ r ¬p → (¬q ∨ r)
T T T F F T T
T T F F F F T
T F T F T T T
T F F F T T T
Contents
F T T T F T T
F T F T F F F
Propositional Logic
F F T T T T T Logical Equivalences
F F F T T T T Exercise

a) (p ∧ q) → ¬q
b) (p ∨ r) → (r ∨ ¬p)
c) (p → q) ∨ (q → p)
d) (p ∨ ¬q) ∧ (¬p ∨ q)
e) (p → ¬q) ∨ (q → ¬p)
f) ¬(¬p ∧ ¬q)
g) (p ∨ q) → (p ⊕ q)
h) (p ∧ q) ∨ (r ⊕ q)

1.20
Applications
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

• System specifications
Contents
• When a user clicked on Help button, a pop-up will be shown Propositional Logic
up
Logical Equivalences
• Boolean search Exercise
• type dai hoc bach khoa in Google
• means dai AND hoc AND bach AND khoa

1.21
Applications (cont.)
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

• Logic puzzles
• There are two kinds of inhabitants on an island, knights, who Contents
always tell the truth, and their opposites, knaves, who may Propositional Logic
lie. You encounter two people A and B . What are A and B if Logical Equivalences
A says  B is a knight and B says The two of us are Exercise
opposite types ?
• Bit operations
• 101010011 is a bit string of length nine.

1.22
Tautology and Contradiction
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Definition

A compound proposition that is always true (false) is called a

tautology - h¬ng óng (contradiction - h¬ng sai).
Contents
• Tautology: h¬ng óng
Propositional Logic
• Contradiction: m¥u thu¨n Logical Equivalences
Exercise

Example

• p ∨ ¬p (tautology)

• p ∧ ¬p (contradiction)

1.23
Question
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Which of the following is a tautology

Hint: Apply truth table.

a) (p ∨ q) → (p ∧ q) Contents
Propositional Logic
b) (p ∧ q) → (p ∨ q) Logical Equivalences
c) p → (¬q → p) Exercise

d) p → (p → q)
e) p → (p → p)
f) (p → q) → [(p → r) → (q → r)]

1.24
Proposition? Truth value?
Logics

Nguyen An Khuong,

a) Fansipan is the highest mountain in Vietnam. Tran Tuan Anh, Mai

Xuan Toan, Tran Hong
b) Two coprime numbers have the only common divisor of 1. Tai

c) The product of 3 continuous integers is divisible by 3.

d) Stand up!

e) x+1=0

f) Hexagons have 8 vertices.

g) 0 is a positive number.

h) The equation: x2 + 5x + 6 = 0 has no root. Contents

i) is 2 a prime number? Propositional Logic
j) The equation mx2 + 2x − 1 = 0 has a single root if and only if m=-1. Logical Equivalences
k) There is a prime that is even. Exercise
2
l) x + 1 > 0.
m) When will our class go camping?

n) Mercury is not a metal.

20
o)  3 > 230 .
p) Airplanes are the fastest transport.

q) 2002 is a leap year.

r) There are infinite prime numbers.

10
s) 2 −1 is divisible by 11.

t) No smoking in public place.

u) All even positive integer is a summation of 2 prime numbers.

v)  x is a prime number if it doesn't have any divisor other than 1 and x.
1.25
Logical Equivalences
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Definition
Contents
The compound compositions p andq are called logically equivalent
Propositional Logic
if p↔q is a tautology, denoted p ≡ q. Logical Equivalences
Exercise
Example

Show that ¬(p ∨ q) and ¬p ∧ ¬q are logically equivalent.

1.26
Logical Equivalences
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

p∧T ≡ p Identity laws

p∨F ≡ p Luªt çng nh§t
Contents
p∨T ≡ T Domination laws Propositional Logic
p∧F ≡ F Luªt nuèt Logical Equivalences
Exercise
p∨p ≡ p Idempotent laws
p∧p ≡ p Luªt lôy ¯ng

¬(¬p) ≡ p Double negation law

Lu¥t phõ ành k²p

1.27
Logical Equivalences
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

p∨q ≡ q∨p Commutative laws

p∧q ≡ q∧p Luªt giao ho¡n

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r) Associative laws Contents

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r) Luªt k¸t hñp Propositional Logic
Logical Equivalences
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Distributive laws
Exercise
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) Luªt ph¥n phèi

¬(p ∧ q) ≡ ¬p ∨ ¬q De Morgan's law

¬(p ∨ q) ≡ ¬p ∧ ¬q Luªt De Morgan

p ∨ (p ∧ q) ≡ p Absorption laws
p ∧ (p ∨ q) ≡ p Luªt hót thu

1.28
Logical Equivalences
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Equivalence

p ∨ ¬p ≡ T
p ∧ ¬p ≡ F Contents
Propositional Logic
p→q ≡ ¬p ∨ q
Logical Equivalences
(p → q) ∧ (p → r) ≡ p → (q ∧ r)
Exercise
(p → r) ∧ (q → r) ≡ (p ∨ q) → r
(p → q) ∨ (p → r) ≡ p → (q ∨ r)
(p → r) ∨ (q → r) ≡ (p ∧ q) → r
p↔q ≡ (p → q) ∧ (q → p)
p↔q ≡ (¬p ∨ q) ∧ (p ∨ ¬q)

1.29
Constructing New Logical Equivalences
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Example

Show that ¬(p ∨ (¬p ∧ q)) and ¬p ∧ ¬q are logically equivalent by

developing a series of logical equivalences.

Solution
Contents
Propositional Logic
¬(p ∨ (¬p ∧ q)) ≡ ¬p ∧ ¬(¬p ∧ q) by the second De Morgan law
Logical Equivalences
≡ ¬p ∧ [¬(¬p) ∨ ¬q] by the first De Morgan law Exercise

≡ ¬p ∧ (p ∨ ¬q) by the double negation law

≡ (¬p ∧ p) ∨ (¬p ∧ ¬q) by the second distributive law

≡ F ∨ (¬p ∧ ¬q) because ¬p ∧ p ≡ F

≡ ¬p ∧ ¬q by the identity law for F

Consequently, ¬(p ∨ (¬p ∧ q)) and ¬p ∧ ¬q are logically equivalent.

1.30
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Negate the following proposition and try to simplify it.

Example

p → (¬q ∧ r)
By using the truth table, we can prove that p→q and ¬p ∨ q are
Contents
logical equivalence.
Propositional Logic
Negate: ¬(p → (¬q ∧ r)) Logical Equivalences
≡ ¬(¬p ∨ (¬q ∧ r)) Exercise
≡ p ∧ ¬(¬q ∧ r)
≡ p ∧ (q ∨ ¬r)

a) p ∧ (q ∨ r) ∧ (¬p ∨ ¬q ∨ r)
b) (p ∧ q) → r
c) p ∨ q ∨ (¬p ∧ ¬q ∧ r)
d) [[[(p ∧ q) ∧ r] ∨ [(p ∧ r) ∧ ¬r]] ∨ ¬q] → s

1.31
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Prove the following proposition are logical equivalence.

Hint: Apply truth table or the series of logical equivalences.

a) ¬(p ↔ q) v ¬p ↔ q Contents
Propositional Logic
b) (p → q) ∧ (p → r) v p → (q ∧ r) Logical Equivalences
c) (p → r) ∧ (q → r) v (p ∨ q) → r Exercise

d) (p → q) ∨ (p → r) v p → (q ∨ r)
e) ¬p → (q → r) v q → (p ∨ r)
f) p↔q v (p → q) ∧ (q → p)

1.33
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

The following proposition are logical equivalence? Prove it or give

an example?

a) p ∧ (p → q) v p∧q Contents
b) p→q v ¬p ∨ (p ∧ q) Propositional Logic
Logical Equivalences
c) p→q v ¬p ∨ ¬q Exercise
d) ¬p v ¬(p ∨ q) ∨ (¬p ∧ q)
e) [(p ↔ q) ∧ (q ↔ r) ∧ (r ↔ p)] v
[(p → q) ∧ (q → r) ∧ (r → p)]
f) [(p ∧ q) ∨ (q ∧ r) ∨ (r ∧ p)] v [(p ∨ q) ∧ (q ∨ r) ∧ (r ∨ p)]

1.34
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Determine the truth value and find the contrapositions as well as

the contradictions of the following propositions.
a) If ABCD is a rectangle, AB and CD are perpendicular.

b) If 14 is an odd number, 15 is divisible by 4.

Contents
c) Two equal triangles have the same area.
2
Propositional Logic
d) If the quadratic equation ax + bx + c = 0 has a.c < 0, it has root.
Logical Equivalences
e) If two numbers x and y are both divisible by n, (x + y) is also divisible by n.
Exercise
f) If 45 ended with 5, 45 is divisible by 5.
√ √ √
g) If 2 is an irrational number then 2. 2 is an irrational number.

h) If Pythagoras is French, Vietnam belongs to Asia.

i) If 3n + 2 is an odd integer, n is an odd integer.

j) If 8 < 9, 5 is a prime number.

k) A quadrilateral is a rhombus when it has 2 perpendicular diagonals.

l) If 5 < 3, 7 is a prime number.

1.36
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai
Let p and q be:

• p: "Brandon likes reading"

• q: "Brandon is a good student"

The statement that formalize "If Brandon likes reading, Brandon

is a good student, vice versa, If Brandon is a good student, Contents
Brandon like reading" is: Propositional Logic
Logical Equivalences
Exercise

A) (p ∧ q) → r
B) p→q
C) p∨q
D) p∧q
E) p↔q
F) ¬p → ¬q
G) ¬p ∨ (p ∧ q)
H) None of the others.
1.38
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Let P , Q, R be: Xuan Toan, Tran Hong
Tai

• P: Potter is studying Math.

• Q: Potter is studying Computer science.

• R: Potter is studying English.

Formalize the following statement using the propositional

connectives. Contents
Propositional Logic
Example
Logical Equivalences
Potter is studying Math and English but not Computer science: Exercise
P ∧ R ∧ ¬Q

a) Potter is studying Math and Computer science but not

Computer science and English at the same time.

b) It is not true that Potter is studying English and not Math.

c) It is not true that Potter is studying English or Computer

science and not Math.

d) Potter is not studying both Computer science and English but

is studying Math.
1.39
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Determine the wrong statement among the following.

a) x ∈ {x}
b) {x} ⊆ {x}
c) {x} ∈ {x} Contents

d) {x} ∈ {{x}} Propositional Logic

Logical Equivalences
e) ∅ ⊆ {x} Exercise

A) a
B) b
C) c
D) d
E) none of the others.

1.40
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

Which of the following proposition is a truth.

Contents
A) (p ∨ ¬q) → q Propositional Logic
Logical Equivalences
B) p → (p ∧ q)
Exercise
C) ¬p → (p → q)
D) ¬(p → q) → q
E) none of the others.

1.41
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai

Let's consider a propositional language where: Xuan Toan, Tran Hong

Tai

• p:  ABC is an isosceles triangle .

• q :  ABC is an equilateral triangle .

• r:  ABC has a 60o angle .

Contents
Propositional Logic
Which of the following compounds formalize the theorem: if Logical Equivalences
o Exercise
ABC is an isosceles triangle and has a 60 angle then it is an
equilateral triangle ?

A) (p ∧ q) → r
B) (p ∧ r) → q
C) (p ∧ r) ∨ q
D) q → (p ∨ r)
E) none of the others.

1.42
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong
Tai

There are 6 soccer teams A, B, C, D, E, F contested in a

tournament. The following are statements on which two teams are
in the grand final:
Contents
a. A and C
Propositional Logic
b. B and E Logical Equivalences
Exercise
c. B and F

d. A and F

e. A and D

Knowing that there are 4 half true statements and 1 totally false
statement. What teams are in the grand final?

1.43
Exercise
Logics

Nguyen An Khuong,
Tran Tuan Anh, Mai
Xuan Toan, Tran Hong

Find the truth values of the following statements (with brief Tai

explanations):
a)  ∀x ∈ N, x2 + 5x + 6 is not a prime number.

b)  ∃x ∈ R, x2 + x + 1 ≤ 0
c)  ∃n ∈ N, (n3 − n) is not a multiple of 3.

d)  ∀n ∈ N ∗, n2 − 1 is a multiple of 3.
Contents
e)  ∀x, ∀y ∈ R, x2 + y 2 > 2xy 
Propositional Logic
f)  ∃r ∈ Q, 3 < r < π 
Logical Equivalences
g)  ∃n ∈ N, n2 + 1 divisible by 8
Exercise
h)  ∀x ∈ R, |x| < 3 ⇔ x2 < 9
i)  ∃a, b ∈ R, (a + b)2 > 2(a2 + b2 )
j) All equilateral triangles are equal.

k) There exist quadrilaterals which don't have circumcircles.

l) There is a natural number n that, for all real numbers x, we have

f (x) = x2 − 2x + n is not negative.
m) For all positive integers x and y we have x ≤ y .
n) For all positive integers x, there is a positive integer y so that x ≤ y .
o) There is a positive integer x that, for all positive integers y, we have x ≤ y .
p) There exist positive integers x and y so that x ≤ y .

1.45