Logical Connectives
Logical Connectives
Logical Connectives
1. prove theorems
2. clarify ordinary writing
Logic is the study of reasoning .
Logic focuses on
the relationship
among statements
as opposed to the
content of any
particular statement.
Lesson 1.a:
Propositions and Logical
Operators
A proposition (or statement) is a declarative sentence
that is either true or false, but not both.
Is this a proposition? no
Why?
Determine which are propositions /statements.
p: It is raining today.
q: There is a typhoon.
r: It is cold outside.
s: I will go to the beach.
Logical Operators (Connectives)
• Negation (NOT, )
• Conjunction (AND, )
• Disjunction (OR, )
• Implication (if – then, )
• Biconditional (if and only if, )
•Truth tables can be used to show how these
operators can combine propositions to compound
propositions.
A truth table consists of rows and columns
whose columns are statements, and whose
rows are the possible combination of truth
values.
P P
true (T) false (F)
false (F) true (T)
P read as NOT P
Example:
Negation of P
(it is not the case that P, not P)
P: Today is Saturday.
Q: Quezon City is the capital of the
Philippines.
R: 2 is even.
The Conjunction of propositions P and Q
is the proposition "P and Q" and is
denoted by PQ.
Binary Operator, Symbol:
P Q P Q
T T T
T F F
F T F
F F F
P and Q are called conjuncts.
Give the conjunction of the propositions
P: Today is Saturday.
Q: It is raining today.
Let p: It is raining.
q: I am wearing my rubbers.
P Q PQ
T T T
T F T
F T T
F F F
Each of P and Q is called a disjunct.
State the disjunction of the
propositions
P: Students who have taken calculus can
take this class.
Q: Students who have taken computer
science can take this class.
p: It is raining.
q: I am wearing my rubbers.
r: I am carring my umbrella.
Let p: It is raining.
q: I am wearing my rubbers.
r: I am carring my umbrella.
1. p q
2. (p q)
3. p (p r)
The Implication or conditional statement
of propositions P and Q , "P implies Q" is
denoted by PQ .
Binary Operator, Symbol:
P Q PQ
T T T
T F F
F T T
F F T
P is called the premise( or antecedent or hypothesis) and Q
is called the conclusion(or consequence).
Determine the truth value of each of the
following:
Answer:
If John takes calculus then he has
sophomore, junior, or senior standing.
(Form: P only if Q)
2. Mary will be a good student if she studies
hard.
Answer:
If Mary studies hard then she will be a good
student. (Form: q if p)
3. My ears hurt whenever you sing.
Answer:
If you sing then my ears hurt.
(Form:Q whenever P)
4. LA Tenorio scoring high is neccesary for
Ginebra to win the championship.
Answer:
If Ginebra wins the championship then LA
Tenorio scored high.
(Form: q is necessary for p)
Converse , Contrapositive, and
Inverse of PQ
Converse : qp
Contrapositive : q p
Inverse : p q
What is the converse of the proposition
"If you watch EXO’s concert then you
are happy." ?
Answer:
If you are happy then you watched EXO’s
concert.
What is the contrapositive of the
proposition
"If you see your crush today then you
are happy." ?
Answer:
If you are not happy then you did not see
your crush today.
or
If you are sad then you did not see your
crush today.
What is the inverse of the proposition
"If you win the lotto jackpot then you
are happy." ?
Answer:
If you do not win the lotto jackpot then you
are not happy.
The biconditional statement of P and Q
" P if and only if Q" is denoted by PQ.
Binary Operator, Symbol:
P Q PQ
T T T
T F F
F T F
F F T
Both P and Q must have the same truth value for PQ to
be true.
Determine the truth value of the
proposition:
1. Peel me an apple.
2. All primes are odd.
3. x is always greater than y.
4. 1+5=19.
5. Run !
Let p, q and s be as represented as
p: It is raining.
q: I am wearing my rubbers.
r: I am carring my umbrella.
Express each of the following statements in symbols,then determine
the truth state of the statement given p is false, q is true ,and s is
true.
1. A (B C)
2. (A C) (D B)
3. B (AD)
Example: Construct the truth table of each
proposition.
1. (PQ)P
2. (PQ)P
3. (PQ)(PQ)
4. (PQ) R
Exercises
A. Given that P is false, Q is true, and R is false,
determine whether each proposition is true or
false.
1. PQ
2. (PQ)(PQ)
3. P(QR)
4. (PQ) R