Logic
Logic
Wanawan
Learning Outcomes:
• translate statements to their
equivalent mathematical
representation accurately;
• determine correctly the truth
values of statements
• determine the validity of an
argument accurately
Lesson 1: Logic Statements
and Quantifiers
Logic Statements
Types of
Sentences
Imperative Exclamatory
Declarative Interrogative
1.Is the test today?
2.Go get the newspaper.
3.This is a nice car!
4.Manila is the capital of
Philippines.
5.Hey! Come here.
6. Take your seat!
7.Do you like Mathematics?
8.Wow! He got perfect score in
Math!
9.Lang-ay Festival is a festival in
Mountain Province.
10.Impressive presentation!
11.Vanilla is the best ice cream flavor.
12.Lock the door when you leave the
house.
13.What website do you use to edit
your photographs?
14.My strawberry lemonade spilled!
15.Don’t walk around with scissors in
your hand!
16.Do you like pineapples on your
pizzas?
17.The article contains at least 1,000
words.
18.We didn't know you were planning
this party for us!
19.Schedule an appointment with the
dentist.
20.How are you?
Logic Statements
Yosemite
National Park is
located in
California.
Determine whether each
sentence is a statement.
a.Florida is a state in the
United States.
b.How are you?
9
c. 9 + 2 is a prime number
d.x + 1 = 5
e. Open the door.
f. 7055 is a large number.
g. In the year 2028, the
president of the Philippines will
be a woman.
h. x > 3.
Quantifiers
1.Universal Quantifications
- the proposition that asserts
that P(x) is true for all or every
value of x
- denoted by the notation ∀(x)
- “∀(x), P(x)” as “for all P(x)”
or “for every P(x)”
1. Universal Quantification
- True
1. Universal Quantification
- False
Quantifiers
2. Existential Quantifications
- forms a statement if and only
if P(x) is true for at least one
value of x
- denoted by the notation ∃(x)
- “∃(x), P(x)” as “for some
P(x)” or “there exists P(x)”
2. Existential Quantification
- True
2. Existential Quantification
- False
It’s Your Turn.
p or q or p⋁q disjunction
Activity 1
Write each symbolic statement into a
compound sentence.
p: The tour goes to Italy.
q: The tour goes to Spain.
r: We go to Venice.
s: We go to Florence.
t: The hotel fees are included.
u: The meals are not included.
1) ∼u ⋁ ∼t
2) s ∼r
3) p → r
4) q → ∼s
5) ∼ s ∼u
6)(u ⋁ ∼t) → r
p: The tour goes to Italy.
q: The tour goes to Spain.
r: We go to Venice.
s: We go to Florence.
t: The hotel fees are included.
u: The meals are not included.