MMW Module 2
MMW Module 2
At the end of the session, the students should be able to review logical
statements and logical connectives, construct compound propositions and
truth tables
1. Identify propositions;
2. Apply negations, conjunctions, disjunctions, conditional, and
biconditional statements of propositions
3. Write the converse, inverse, and contrapositive
4. Determine and construct truth tables.
Gottfried Wilhelm Leibniz (1646–1716) - One of the first
mathematicians to make a serious study of symbolic logic.
Augustus De Morgan (1806 – 1871) and George Boole
(1815 – 1864), contributed to the advancement of symbolic
logic as a mathematical discipline.
Example:
“Today is Friday.” is the statement.
“Today is not Friday.” is the negation.
Write the negation of each statement.
1. I am enrolled to distance education.
2. I am going to attend the synchronous discussion.
Conjunction
If two statements are joined using the word “and”.
Example:
Today is Monday and the internet connection is
stable.
Disjunction
If two statements are joined using the word
“or”.
Example:
Today is Monday or the internet connection is
stable.
Conditional Statements
It is represented by “if p, then q” or by “if p, q,” the
p statement is called the antecedent and the q statement
is called the consequent.
Example:
If n is a prime number greater than 2, then n is an odd
number.
Antecedent: n is a prime number greater than 2
Consequent: n is an odd number
Conditional statements can be written in if p, then q form
or in if p, q form.
Other forms of conditional statements:
Biconditional Statements
It is represented by “P if and only if q” or “P is
necessary and sufficient for q”
Example:
x > 7 if and only if x > 6
Connectives and Symbols
1. The converse of p → q is q → p.
T T F T T T T
T F F F T F F
F T T F T T F
F F T F F T T
Determine the truth value of the statement given that p is
true, q is false, and r is false.
1. (p ∧ q) → (p’ ↔ q)
T T F T T
1. (p → q) ∨
q’ T F T F T
2. p ↔ (r’∧ q) F T F T T
F F T T T
p ↔ (r’∧ q)
p q r r’ r’∧ q p ↔(r’∧ q)
T T T F
T T F T
T F T F
T F F T
F T T F
F T F T
F F T F
F F F T
Thank you.