Professional Documents
Culture Documents
LESSON 10
(LOGICAL OPERATORS)
Target:
Given a proposition, its truth table shows all its possible truth values.
Definition.
The negation of a proposition p is denoted by
~ p: (read as ‘not? p,)
and is defined through its truth table:
p
p
T F
The truth table tells us that when p is true, its negation
F ~ pTis false. On
the other hand, when p is false, the negation ~ p is true.
EXAMPLE 2. State the negation of the following propositions.
x−1
n1: p(x) = is a polynomial function.
x+ 2
n2: 2 is an odd number.
n3: The tinikling is the most difficult dance.
n4: Everyone in Visayas speaks Cebuano,
3. Define conjunction.
The next logical operator allows us to state an expression for two propositions to be true. It is
called the conjunction operator and is denoted by ∧.
Definition.
The conjunction of propositions p and q is denoted by
p ∧ q : ( p and q, )
and is defined through its truth table:
p q p∧
q
T T T
T F F
F T F
F F F
The propositions p and q are called conjuncts.
The conjunction p ∧ q is true only when both conjuncts p and q are true as shown in its truth
table.
Express the following conjunctions as English sentences or in symbols, as the case may be.
(a) p ∧ q
(b) p ∧ ( q)
(c) ‘Angels do not exist and π ≤ 3.’
(d) ‘While angels do not exist, π ¿ 3.’
Solution. The corresponding English sentences are given below.
(a) p ∧ q: ‘Angels exist and π > 3.’
(b) p ∧ (~ q): ‘Angels exist and π ≤ 3’, or ‘Angels exist, yet π ≤ 3.’
(c) In symbols, we have (~ p) ∧ (~ q)
(d) In logic, the statement is a conjunction and so, in symbols, (~ p) ∧ q
In the example above, since proposition q is true, the conjunction p ∧ q is true when p is
proven to be true. On the other hand, both conjunctions p ∧ (~ q) and (~ p) ∧ (~ q) are false
because one of the conjuncts, namely ~ q, is false.
Proposition Simple Components
p1. r: √ 2 is a rational number.
f: Logic is fun .
p2. i: Logic is interesting.
b: Logic is boring.
p3. h: You study hard
g: You get good grades
p4. d: You can drive.
l: You have a driver’s license.
Remark the compound propositions will be revisited more closely in the next meeting.
Group work.
In the explore activity, each of you was asked to provide an argument for or against a
statement of their choice. Each of you will determine whether each sentence in your
argument is a proposition. You should also identify whether it is simple or compound, if it is
a compound proposition, you should also identify its simple components.
Formalize the following arguments and verify whether they are correct:
• “If Carlo won the competition, then either Mario came second or Sergio came third.
Sergio didn’t come third. Thus, if Mario didn’t come second, then Carlo didn’t win the
competition.”
• “If Carlo won the competition, then either Mario came second or Sergio came third.
Mario didn’t come second. Thus, if Carlo won the competition, then Sergio didn’t
come third.”
• “If Carlo won the competition, then Mario came second and Sergio came third.
Mario didn’t come second. Thus Carlo didn’t win the competition.”
• “If Carlo won the competition, then, if Mario came second then Sergio came third.
Mario didn’t come second. Thus, either Carlo won or Sergio arrived third”
• “If you play and you study you’ll pass the exams, while if you play and don’t study
you won’t pass. Thus, if you play, either you study and you’ll pass the exams, or you
don’t study and you won’t pass.”