Lesson 1
Lesson 1
LOGIC
Module 3 explored the fabric from which the mathematical landscape is woven. It
is the art and science of right thinking and reasoning: logic. It disciplined learners'
understanding by exploring the application of formal logic to mathematics.
[email protected]
MABINI COLLEGES, INC.
DAET, CAMARINES NORTE
COLLEGE OF EDUCATION
MODULE 3 : Logic
TOPIC 1 : Logical Propositions and Quantifiers
MODULE OVERVIEW
Logic is the study of the methods and principles by which right and wrong reasoning can be
distinguished. How can one reason logically and test the validity of an argument about any given thing?
What role do connectives, quantifiers, negations, and variables play in modern logic and its symbolic
language?
LEARNING OUTCOMES
LECTURE NOTES
Discussions
Simple Proposition and Compound Proposition
Like any other discipline, the language of logic has its own syntax. The reader must know
the rules of the language, the symbols used, and the definition of the terms. We first give the formal
definition of the basic element of logic, the proposition.
A proposition is a declarative sentence that is either true or false, but not both true and
false.
Example 1: Determine whether the following sentences are proposition or not a proposition.
[email protected]
Solution:
1. The first sentence is a true sentence. This is a proposition.
2. The second sentence is a false sentence. This a proposition.
3. The third sentence is either true or false depending on the value of x. This sentence cannot be
both true and false at the same time in a specific value of x. Therefore, Sentence 3 is a
proposition.
4. Sentence 4 is not a declarative sentence. Hence, this is not a proposition.
5. Sentence 5 is not a declarative sentence. This is not a proposition.
Sometimes, you may not know whether the given sentence is true or false, but you know that
the sentence is either true or false and that it is not both true and false. Examples of this are given
below. These two sentences are proposition.
Example 2:
1. Jaime Mora was the coach of Philippine Sepak Takraw team in 2015 SEA Games.
2. In 2022, the next president of the Philippines is a woman.
There are some sentences that are both true and false at the same time. This kind of sentence
is not considered a proposition, based on the definition of a proposition. For example, consider the
sentence below.
The above sentence is not a proposition because if we assume it to be a true sentence, then it
is false, and if we assume it to be a false sentence, then it is true. Propositions cannot be true and false
at the same time. In other references, the term proposition is also called statement. There two kinds
of proposition: simple and compound proposition. Their definitions are given below.
By connecting simple proposition with words and phrases such as and, or, if . . . then, and if and
only if creates a compound proposition. These words and phrases are called connectives.
Example 3: The following are examples of simple and compound proposition. The first two proposition
are simple and the last two proposition are compound proposition.
[email protected]
Notations: For convenience, there are notations used to represent proposition and connectives.
Propositions are usually represented by a lower-case letter such as p, q, r, ands. The symbols for
connectives are as follows:
Negation
Another important notion here is the negation of a proposition. The definition of the negation and
its notation is given below.
Let be 𝑝 a proposition. The negation of 𝑝, denoted by ∼ 𝑝, (read as “not 𝑝”) is a proposition that
is false if 𝑝 is true, and it is true if 𝑝 is false.
On the left of the table below are the proposition. The corresponding negation of the proposition
can be found on the right column of the table. It is worth noting that the negation of the negation of the
proposition is the original proposition. That is, if 𝑝 is a proposition, then ∼ (∼ 𝑝) = 𝑝.
[email protected]
Type of Propositions
Note: In some cases, the word “but” generally means the same as “and”, and the phrase “neither A nor
B” is translated as “not A and not B”.
The table below describes logic connectives, propositions, symbolic form, and type of proposition.
Let p and q as simple proposition.
Compound proposition may contain more than two simple propositions. To avoid confusion with the
meaning of the propositions, groupings of propositions are necessary. Here are the rules in groupings:
1. In symbolic form, the parentheses are used to indicate the simple proposition that are being
grouped together.
2. In sentence form, a comma is used to indicate which simple proposition are group together. That
is, propositions of the same side of a comma are group together.
The meaning of the proposition is affected by the parenthesis of the symbolic propositions. For
example, the compound proposition ∼ (𝑝 ∧ 𝑞) is different from ~𝑝 ∧ 𝑞. The former is the negation
of the compound proposition 𝑝 ∧ 𝑞. The proposition ∼ (𝑝 ∧ 𝑞) is read as “It is not true that, 𝑝 ∧ 𝑞”.
In the latter, the negation is on the proposition 𝑝 only and read as “Not 𝑝 and 𝑞”.
Note: In translating compound proposition in symbolic form to an English sentence, the simple
proposition inside the parentheses in the symbolic form will all be on the same side of the comma that
appears in the English sentence.
[email protected]
Example 5: Let p, q, and r represent the following proposition.
(𝑝 ∧ 𝑞) → 𝑟
If John is not a basketball player or Hazel has a straight hair, then John’s playing style is not
the same as Lebron’s.
Solution:
a. Since p and q are grouped together, they must be on the same side of the comma in English
sentences. Hence, this becomes, “If John’s playing style is the same as Lebron’s and Hazel has
straight hair, then John is a basketball player.”
b. The proposition “John is not a basketball player” and “John’s playing style is not the same as
Lebron’s” are the negation of the proposition 𝑟 and 𝑝, respectively. The sentence is a conditional
form and the first two propositions are of the same side of the comma. Hence, the symbolic form
is (𝑟 ∨ 𝑞) → 𝑝
In English sentences, some are true for all or it is true for some conditions. In order that these
kinds of sentences are to be proposition, quantifiers are needed.
• Existential Quantifiers. These are used as prefixes to assert the existence of something. These
include the word some, and the phrases there exists and at least one.
• Universal Quantifiers. These are used as prefixes to assert that every element of a given set
satisfies some conditions or to deny the existence of something. These include the words all, every,
none, and no.
Example 6: The first two proposition used existential quantifiers and last two propositions used universal
quantifiers.
1. Some coffee shops are open.
2. There exists an integer 𝑛 such that 3𝑛 ≥ 120.
3. All players are nice people.
4. No even integers are divisible by 3.
[email protected]
Negation of propositions involving quantifiers
In the previous discussion, it is known that the negation of a proposition is false if the proposition
is true and it is true if the proposition is false. This concept must be considered in constructing the
negation of a proposition involving quantifiers.
For example, let us consider the proposition “Some coffee shops are open”. Suppose this
proposition is true, this means that some coffee shops are open, and others are not open. To find its
negation, we need to write a proposition that is false if that given proposition is true and false if
otherwise. Observe that the proposition “Some coffee shops are not open” has the same meaning as
the first proposition. Hence, this proposition cannot be the negation of the given proposition. Thus, the
proposition “No coffee shops are open” will make the given proposition false. Hence, it is the negation
of the given proposition.
The table below shows the negation of the quantified proposition and their negation.