SHS General Mathematics Q2 M7
SHS General Mathematics Q2 M7
SHS General Mathematics Q2 M7
Department of Education
Regional Office IX, Zamboanga Peninsula
General Mathematics
Quarter 2 - Module 7:
Propositions
Republic Act 8293, section 176 states that No copyright shall subsist in any
work of the government of the Philippines. However, prior approval of the
government agency or office wherein the work is created shall be necessary for
exploitation of such work of profit. Such agency or office may, among other things
impose as a condition the payment of royalties.
LOURNA I. POCULAN
LILIA E. ABELLO
EVELYN C. LABAD
NORALYN R. SABANAL
General Mathematics
Second Quarter – Module 7
Propositions
Propositions
Learning Competencies:
What’s In
Aristotle claimed that humans are rational animals. Rationality is said to be
what distinguishes humans from animals. It is this rationality that concerns logic
which is a branch of philosophy. Logic, as the study of reasoning, seeks the rules
and principles of how people should reason correctly and rationally.
What’s New
Consider the activity below.
What is it
Propositions
What are propositions? In your everyday life, you provide information about
yourself, people , things , and /or events. When you say for example, “ The weather
is hot,” you have just stated something which philosophers call a proposition. This
is a statement in declarative form which expresses a single and complete idea, and
bears either truth or falsity. What you say through the proposition is your belief,
doubt, or knowledge.
Definition
What’s More
Example 1
Decide whether each of the following is a proposition or is not a proposition .
a. The number 4 is even and less than 12.
b. Malolos is the capital of Bulacan.
c. How old are you ?
d. Open your eyes.
e. Aaron’s solution is incorrect.
SOLUTION
a. proposition
b. proposition
c. not a proposition (a question )
d. not a proposition ( a command )
e. not a proposition ( a paradox )
In Activity 1, propositions 1 and 3 have only one component( each says only one thing ).
However, proposition 5 is a combination of two components, “5+3 = 8” and “12 – 7=
5”.Proposition like this is called compound proposition.
Simple proposition – a proposition that conveys one thought with no connecting words.
Compound proposition – contains two or more simple propositions that are put together
using connective words.
Definition
Conjunction
Definition
Disjunction
The sentence “I will pass the Math exam or I will be promoted” is an example
of disjunction.
Definition
Conditional
Two simple propositions that are connected using the words if…then.
The sentence “ If you will recite the poem, then you will pass the oral
examination” is an example of conditional.
a. If you will recite the poem, you will pass the oral examination; or
b. You will pass the oral examination if you will recite the poem.
Biconditional
Definition
The negation can be obtained by inserting the word not in the statement or by
prefixing it with phrases such as “It is not the case that…”
“Herbert is not good.” Or “It is not the case that Herbert is good.”
Example 2
Give the negation of the statement: “Her aunt’s name is Lucia.”
SOLUTION
By inserting not in the statement:
“Her aunt’s name is not Lucia.”
By prefixing the phrase “It is not the case that”
“It is not the case that her aunt’s name is Lucia.”
Symbols are used to simplify work in logic. If x and y are the frequently used
letters in algebra, the letters p, q, and r are often used to represent propositions in
logic. The table below shows the several symbols for connectives, together with the
respective types of compound proposition.
SOLUTION
a. p ˄ q p - He has green thumb
˄ - and
Q - He is a senior citizen
b. ⁓p ˅ ⁓q ⁓p - He does not have green thumb
˅ - or
⁓q - He is not a senior citizen
c. ⁓ (p ˅ q) ⁓ - It is not the case
p - He has green thumb
˅ - or
q - He is a senior citizen
d. p → ⁓q p - He has green thumb
→ - then
⁓q - He is not a senior citizen
Example 2
Let p the proposition “Mother loves his son,” and let q be the proposition “
Son loves his mother.”
Write the following in symbols and th en in words.
a. The conjunction of the negation of p and q.
b. the disjunction of the negations of p and q
c. the negation of the conjunction of p and q
d. the negation of the disjunction of p and q
SOLUTION
b. In symbols : ⁓p ˅ ⁓q
In words : Either mother does not love her son or son does not love his
mother.
In words: It is not the case that the mother and son love each other.
d. In symbols: ⁓(p ˅ q)
In words: It is not the case that either mother or son loves the other.
Example 3
Identify each symbolic as a conjunction, disjunction, negation, conditional,
or biconditional.
a. P˅Q↔R
b. (P ˄ Q) ˅ R
c. ⁓ (P ˅ Q)
d. ⁓P ˄Q→ R ˅S
e. ⁓(P→Q˄ R)
f. P ˄ (Q → R)
SOLUTION
a. Biconditional: The double arrow is the dominant connective and there
are no parentheses.
b. Disjunction: The parentheses separate the statement at the “˅”
connective.
c. Negation: The statement is inside the parentheses.
d. Conditional: There are no parentheses. Thus, the conditional arrow
is stronger than any of the other connectives. The
antecedent is ⁓ P ˄ Q and the consequent is R ˅ S
e. Negation: The negative sign is outside the parentheses and the
conditional arrow is inside the parentheses.
f. Conjunction: The parentheses separate the statement at the “˄”
connective.
Categorical Propositions
Affirmative Propositions
A – proposition All humans are by nature good.
Some humans are by nature
I - proposition
good.
Negative Propositions
E – proposition No humans are not by nature good.
O - proposition Some humans are not by nature good.
Universal Propositions
A – proposition All senators in the Philippines are lawmakers.
Second
First Conjunct Conjunction
Conjunct
True True True
True False False
False True False
False False False
Example 1
First Conjunct Second Conjunct Conjunction
Proposition Plato is a Plato and Aristotle are
Aristotle is a philosopher.
philosopher. philosopher.
Truth Value True True True
Example 2
First Conjunct Second Conjunct Conjunction
Proposition Plato is a Aristotle is a philosopher. Plato and Aristotle are
philosopher. philosopher.
Truth Value True True True
What I Can Do
Exercises
A B
1. Conjunction a. ⁓
2. Disjunction b. →
3. Negation c. ↔
4. Conditional d. ˄
5. Biconditional e. ˅
Assessment
Additional Activity
Determine the truth values of the following propositions.
1. Let p represent “7 > 5” and let q represent “12 < 0.” Find the truth value of p
and q.
Answer Key
What Can I Do
Exercises
I. Vocabulary and Concepts
1. D 2. E 3. A 4. B 5. C
Assessment
I.
1. ¬A
2. A ∧ B
3. A → ¬B
II.
1. This is not a proposition since it is a question.
2. This is not a proposition since it is an imperative statement.
3. While this is a proposition (in English, it can be read as “x plus 2 is equal to 11”,
which is declarative), its truth value cannot be ascertained since the value of x is
unknown.
4. This is a true proposition, since it is declarative and we know that .
5. This is an imperative statement, and hence it is not a proposition.
Additional Activity
The second row of the conjunction truth table shows that p ˄ q is false.
P Q P˄Q
T T T
T F F ← p is true and q is false.
F T F
F F F
References:
https://www.britannica.com/topic/truth-table
https://philonotes.com/index.php/2018/02/02/symbolic-logic/
https://www.geeksforgeeks.org/proposition-logic/
https://sites.math.northwestern.edu/~mlerma/courses/cs310-04w/notes/dm-propositions.pdf
https://en.wikipedia.org/wiki/Categorical_proposition
https://www.britannica.com/topic/categorical-proposition
http://www.thelogiccafe.net/logic/ref1.htm
https://images.search.yahoo.com/search/images;_ylt=Awr9DWtPXkJfPVMAQDGJzbkF;_ylu
=X3oDMTBsZ29xY3ZzBHNlYwNzZWFyY2gEc2xrA2J1dHRvbg--
;_ylc=X1MDOTYwNjI4NTcEX3IDMgRhY3R
https://images.search.yahoo.com/search/images;_ylt=Awr4xJPWX0Jf3igAWpFXNyoA;_ylu=
X3oDMTB0NjZjZzZhBGNvbG8DZ3ExBHBvcwMxBHZ0aWQDBHNlYwNwaXZz?p=
Dr. Debbie Marie B. Verzosa, Francis Nelson M. Infante ,Paolo Luis Apolinario, Jose
Lorenzo M. Sin, Regina M. Tresvalles, Len Patrick Dominic M. Garces. SHS General
Mathematics Learner’s Material First Edition 2016
Albay, Eduard M., Batisan, Ronaldo S., Caraan, Aleli M., Sumagit, Katrina Grace Q. 2016.
General Mathematics Module.DIWA Senior High School Series
Oronce, Orlando A. First Edition 2016. RBS General Mathematics