Gen Math Intro To Proposition
Gen Math Intro To Proposition
Gen Math Intro To Proposition
Introduction to Propositions
1
Mathematical logic, which is also called as symbolic logic, deals
mainly with arguments which are made up of propositions. To determine if
an argument is correct or incorrect, one needs to master first the components.
In this module, we will study the different types of propositions.
What’s In
2
What’s New
Which of the sentences are either true or false (but not both)
Answer:
1. True, there is no other even number that is prime.
2. True. All angles of a square measure 90˙ and its opposite sides are
equal (definition of a rectangle)
3. False, 1+ 1 = 2.
4. It can be true or false but not both since the truth will only be known
after the Logic exam.
What is It
A true proposition has a truth value of “true”, otherwise, its truth value
is “false”.
3
Here are examples of propositions.
p: 2 is an even number.
q: 9 is a perfect square number.
r: Integers are subset of rational numbers.
Example 1:
Determine if each statement is a proposition or not.
a: 𝑥𝑥 + 2 = 2𝑥𝑥 when x = 2.
b: Jose Rizal is our National hero.
c: Happy Birthday!
d: Circle is a polygon.
e: Go to your room.
f: What time is it?
j: This article is false.
Solution:
4
propositions and the logical connectors used.
p1: If an individual is great, then there is a teacher behind.
p2: 3 is odd number and 4 is a perfect square number.
p3: It is a shame to greet the utility worker the same way as with
the school principal.
p4: Either logic is fun and interesting, or it is boring.
Solution:
Symbols Using
Proposition Simple Component/s Logical
Connector/s
p: An individual is great.
p1 If p, then q.
q: There is a teacher behind it.
p: 3 is odd number.
p2 p and q
q: 4 is a perfect square number.
p: It is boring.
p4 p or q
q: Logic is fun and interesting.
Solution:
~ p: It is not true that price determines quality or ~ p: Price does not
determine quality.
~q: Square is not a rectangle or ~q: It is not true that square is a
rectangle.
~r: f(x) = f(x) = 4x + 3 is not a quadratic function or ~r: f(x) = 4x + 3
5
is a linear function.
p: Kite is a rhombus.
q: Square is a rectangle.
r: Trapezoid is a parallelogram.
Solution:
1. Kite is a rhombus or square is a rectangle.
2. Kite is a rhombus or square is not a rectangle.
3. Square is a rectangle or trapezoid is a parallelogram.
p: Kite is a rhombus.
q: Square is a rectangle.
r: Trapezoid is a parallelogram.
6
p: Rhombus is a parallelogram.
q: Square is a rhombus.
r: Kite is a rhombus.
Solution:
1. If rhombus is a parallelogram, then kite is a rhombus.
2. If a square is a rhombus, then rhombus is a parallelogram.
3. If kite is a not a rhombus, then square is not a rhombus.
For reference, these are the similar statement for each logical operator.
1. The parenthesis is used whenever the word “both” goes with “and” and
7
“either” goes with “or”.
• both p or q and r (p v q) Ʌ r
• p or both q and r p v (q Ʌ r)
• either p and q or r (p Ʌ q) v r
• p and either q or r p Ʌ (q v r)
3. The order of words “both” and “not” should also be taken into
consideration.
• p and q are not both ~(p Ʌ q)
• p and q are both not ~p Ʌ ~q
4. The parentheses, brackets, and braces are used in symbolic logic in the
same manner as in mathematical expressions.
Solution:
Steps Symbols
1. Ateneo wins its first game. p
2. Ateneo wins its first game or pv
3. Ateneo wins its first game or p v ~q
De La Salle loses it.
2. Symbolize the proposition: If Ateneo wins its first game, then Adamson
and De La Salle both did not win their first games.
Solution:
Steps Symbols
1. Ateneo wins its first game p
2. If Ateneo wins its first game, p→~(
then both did not
8
3. If Ateneo wins its first game, p → ~ (s Ʌ q)
then not both Adamson and
De LaSalle win their first
games.
Example 9:
Steps Symbols
1. q The food supply is adequate
2. q Ʌ The food supply is adequate and
3. q Ʌ r The food supply is adequate and
the visitors are hungry
4. q Ʌ r Ʌ The food supply is adequate and
the visitors are hungry but
5. q Ʌ r Ʌ ~p The food supply is adequate and
the visitors are hungry but the
rice cooker is not working.
Steps Symbols
1. ~r The visitors are not hungry
2. ~r v The visitors are not hungry or
3. ~r v (p Either the visitors are not hungry
or the rice cooker is working
9
4. ~r v (p Ʌ q) Either the visitors are not hungry
or the rice cooker is working and
the food supply is adequate.
What’s More
Activity 1
Activity 2
Activity 3
1. ~p
2. p→q
3. pvq
4. pɅq
5. ~ ( p vq )
10