Professional Documents
Culture Documents
Logic
Logic
Logic Exercise 1:
Determine whether each of the following statements is
a proposition or not. If a proposition, give its true
Pre- Test
value.
__________ r: My seatmate will get a perfect score in the
I. Determine if each statement is a simple or
Logic exam.
compound propositions.
__________ s: Welcome to the Philippines!
__________ 1. Jose Rizal is our National Hero.
__________ 2. Ferdinand Magellan did not arrive the __________ t: 3 + 2 = 5
Philippines in 1521. __________ u: What is the domain of the function?
__________ 3. 2:5 is an integer. __________ w: I am lying.
__________ 4. The last kilometer marker up north is in
Sta. Ana, Cagayan, and the Palaui Island is also found Definition 2.
there A compound proposition is a proposition
__________ 5. If an integer is even, then its square is formed from simpler propositions using logical
also even. connectors or some combination of logical
connectors. Some logical connectors involving
II. Complete the truth tables. propositions p and/or q may be expressed as
a. b. follows:
p q pVq not p
p ~p
T T T p and q
T p or q
F T F
if p then q
F T
where < • > stands for some proposition.
F F
A proposition is simple if it cannot be
broken down any further into other component
(Now proceed on what you need to learn.) propositions.
Examples:
Lesson 1: Propositions p : Mindanao is an island in the Philippines.
This is a simple proposition.
Objectives: q: If you are a Grade 11 student, then you are a
At the end of the lesson, the learner is able to Filipino.
illustrate a proposition, symbolize propositions, and This is a compound proposition. It is consist
distinguish between simple and compound of the simple components:
propositions. r: You are a Grade 11 student.
s: You are a Filipino.
Definition 1. y: 2 is even and prime.
A proposition (p) is a declarative sentence that is This is a compound proposition. It is consist
either true or false, but not both. If of the simple components:
a proposition is true, then its truth value is true
r: 2 is even.
which is denoted by T; otherwise, its
truth value is false and is denoted by F. s: 2 is prime.
Examples: Exercise 2:
Determine whether each of the following statements is Identify whether it is a simple or compound
a proposition or not. If a proposition, give its true proposition. If it is a compound proposition, identify its
value. primitive/simple components.
p1 : Mindanao is an island in the Philippines. 1. Jose Rizal is our National Hero.
This is a declarative sentence, and Mindanao _____________________________________________________________
is an island in the Philippines. 2. Ferdinand Magellan did not arrive the Philippines
Proposition, T in 1521.
p2: Find a number which divides your age. _____________________________________________________________
This is an impertive sentence. 3. Our Logic teacher is either pretty or handsome.
Not a Proposition _____________________________________________________________
p3: If you are a Grade 11 student, then you are a 4. The town of Nagcarlan is known for its native
Filipino. candies and sweet .
This is a declarative sentence, but there are _____________________________________________________________
also Grade 11 students of other nationalities. 5. If an integer is even, then its square is also even.
Proposition, F _____________________________________________________________
Page 1 of 8
Learning Module in General Mathematics
Page 2 of 8
Learning Module in General Mathematics
Page 4 of 8
Learning Module in General Mathematics
converse
q → p _____________________________________________________
____________________________________________________________
contrapositive
~q → ~p: __________________________________________________
_____________________________________________________________
inverse
~p →~q: ___________________________________________________
_____________________________________________________________
Page 5 of 8
Learning Module in General Mathematics
Validity Condition:
Is it logically impossible for the premises
to be true and the conclusion false?
If the answer is YES, we say that the
argument satisfies the validity condition. The
argument is valid.
Definition 12:
A valid argument satisfies the validity
condition; that is, the conclusion q is true
whenever the premises p1 ^ p2 ^ ... ^ pn are all
true.
Put another way, for a valid argument, the
conditional Example:
(p1 ^ p2 ^ ... ^ pn) →q Given:
is a tautology. _ If Antonio and Jose are friends, then they are
Facebook friends.
Example: _ Antonio and Jose are not Facebook friends.
1. Prove that the argument ((p → q) ^ p) → q is valid. _ Therefore, they are not friends.
This argument is known as Modus Ponens (or Let
Rule of Detachment). p : Antonio and Jose are friends.
q : Antonio and Jose are Facebook friends.
We only need to show that the
((p → q) ^ p)→ q is a tautology using the truth table. Then the given argument is of the form
p→q
p q ((p → q) ^ p) → q ~q
p→q (p → q) ^p
_________
T T T T T ~p
T F F T F Hence, by Modus Tollens, the argument is
F T T F F valid.
F F T T T
Definition 13:
Since ((p → q) ^ p) → q is a tautology, then the An argument (p1 ^ p2 ^ ... ^ pn) →q which
argument is valid. is not valid is called a fallacy.
Page 6 of 8
Learning Module in General Mathematics
_____________________________________________________________
Examples:
4. (p^q)→r
r
____________
p^q
_____________________________________________________________
5. p→~q
q
_______
~q
_____________________________________________________________
Page 7 of 8
Learning Module in General Mathematics
Page 8 of 8