Gen Math - Chap 4
Gen Math - Chap 4
General Mathematics
Learning Objectives
1. to illustrate a proposition
4. to symbolize a proposition
Lesson 1:
Propositions
A proposition or a statement is a
declarative sentence that is either true
or false but not both. If the proposition
is true, then its truth value is true and
if it is false then its truth value is false.
Illustration 1. Like any declarative sentence, a proposition
has a subject and a predicate.
Illustration 1. Like any declarative sentence, a proposition has a
subject and a predicate.
+1
a. The domain of ( ) = is ℝ − {2} (read as “the set
−2
of all real numbers except 2”).
Lesson 2:
Simple and Compound
Propositions
CONJUNCTION
Illustration 3.
The following statements illustrate the different ways a
conjunction can be expressed in sentence form:
a. The domain and range of the function defined by
( )= are (0, + ∞) and ℝ, respectively.
b. The domain of the function defined by
( )= is (0, + ∞), while its range is ℝ.
Symbolic form: D ∧ R
𝑓
𝑓
𝑓
𝑓
𝑥
𝑥
𝑙
𝑙
𝑜
𝑜
𝑔
𝑔
𝑥
𝑥
DISJUNCTION
a. a = 0 or b = 0.
b. a = 0 unless b = 0.
c. Either a = 0 or = 0.
Symbolic form: ∨
where : = and : =0
𝑨
𝑏
𝑨
𝑩
𝒃
𝒂
𝑩
𝟎
CONDITIONAL PROPOSITION
Illustration 5.
The following statements illustrate the different
ways an implication can be expressed in sentence
form:
Illustration 5.
Symbolic form: →
where : You study for the examination.
i. →
ii. ~ →~
iii. ~ →~
𝑸
𝑷
𝑸
𝑷
𝑸
𝑷
𝑃
𝑄
Illustration 6. Given the conditional proposition on Illustration
5, state its converse, inverse, and contrapositive in sentence
form.
“If you study for the examination, then you will get a passing
grade.”
Illustration 6.
Illustration 6.
Inverse: ~ → ~
If you don’t study for the examination, then you won’t get a
passing grade.
Contrapositive: ~ → ~
If you will not get a passing grade, then you did not study for
the examination.
𝑨
𝑩
𝑨
𝑩
BICONDITIONAL PROPOSITION
Illustration 7.
Symbolic form: →
where : A function is one-to-one.
Symbolic form: ∧ →
where : lines a and c are perpendicular
: lines b and c are perpendicular
: lines a and b are parallel
𝑵
𝑎𝑏𝑀
𝑴
𝑁
𝑃
𝑷
Illustration 8. The following are examples of propositions
that contain more than one connective:
a b
2. = implies a = b, provided that c ≠ 0.
c c
Symbolic form: ~ → ( → )
where : = 0
: =
: =
𝑐
𝑐
𝑸
𝑐
𝑷
𝑎
𝑹
𝑃
𝑏
𝑄
𝑅
𝑎
𝑏
Symbolic form: (( ∧ ) → (~ )) ∧ ( ∼ → )
𝑪
𝑩
𝑨
𝐴
𝐵
𝐶
𝐴
𝐶
Illustration 8. The following are examples of
propositions that contain more than one connective:
5. The suspect was found guilty and will be imprisoned even if he is
innocent, but if the verdict is reversed by the Supreme Court,
then he will be released.
Do not be confused by the first use of “if” here. Even “if” may be used as a
conjunction. Define the component propositions as follows:
Illustration 8. The following are examples of propositions
that contain more than one connective:
Symbolic form: ∧ ∧ ∧( →~ )
𝑴
𝑳
𝑯
𝐺
𝐻
𝐿
𝑀
𝐻
𝑮
LESSON 3:
TRUTH VALUE OF
COMPOUND PROPOSITIONS
In this lesson, we shall look at the truth value
of the compound propositions in Lesson 2.
T F
F T
Table 1. Truth Table for the operator “not” (Negation)
Table 2 gives the truth value of a conjunction depending on the truth value of its
component propositions. To summarize the table, the conjunction of two propositions is
true if both component propositions are true and false if at least one of them is false.
To know how many possible combinations of their truth values
(or rows) are there, use the formula , where is the number
of propositions. For Table 1, since we only have proposition
to negate, 2 = 21 = . Hence, we have one True and one False.
2
For Tables 2 – 5, we have propositions and ,2 = 2 = . In
this case, we have two Ts and two Fs for proposition and one
True, one False, one True, one False for proposition to
identify all possible truth values of our propositions.
𝟐
𝑛𝑃
𝑃𝑄
𝑃
𝑄
𝟐
𝟒
𝑛
𝑛
𝒏
T T T
T F T
F T T
F F F
Table 3. Truth Table for the operator “or” (Disjunction)
a. P ∧ ∼ P
b.( ∼ P ∨ Q) ↔ (P → Q)
c. P ∧ ∼ Q → R
Example 1: Construct a truth table for the following:
Solutions:
a. P ∧ ∼ P
With just one proposition, you know that its truth table will have,
21 = 2, two rows, one for each truth value of . So,
T
F
𝑃
Example 1: Construct a truth table for the following:
Solutions:
a. P ∧ ∼ P
Before solving for the conjunction, find the truth value of ~ from
next, using Table 1, we have:
T F
F T
𝑃
𝑃
Example 1: Construct a truth table for the following:
Solutions:
a. P ∧ ∼ P
T F F
F T F
Example 1: Construct a truth table for the following:
Solutions:
T F F
F T F
Solutions:
b. ( ∼ P ∨ Q) ↔ (P → Q)
Solutions:
b. ( ∼ P ∨ Q) ↔ (P → Q)
T T
T F
F T
F F
Example 1: Construct a truth table for the following:
Solutions:
b. ( ∼ P ∨ Q) ↔ (P → Q)
We can now complete the table (from columns 3 to 6) by using the truth
tables for different operators (Tables 1 – 5).
T T F
T F F
F T T
F F T
Example 1: Construct a truth table for the following:
Solutions:
b. ( ∼ P ∨ Q) ↔ (P → Q)
We can now complete the table (from columns 3 to 6) by using the truth
tables for different operators (Tables 1 – 5).
T T F T
T F F F
F T T T
F F T T
Example 1: Construct a truth table for the following:
Solutions:
b. ( ∼ P ∨ Q) ↔ (P → Q)
We can now complete the table (from columns 3 to 6) by using the truth
tables for different operators (Tables 1 – 5).
T T F T T
T F F F F
F T T T T
F F T T T
Example 1: Construct a truth table for the following:
Solutions:
b. ( ∼ P ∨ Q) ↔ (P → Q)
We can now complete the table (from columns 3 to 6) by using the truth
tables for different operators (Tables 1 – 5).
T T F T T T
T F F F F T
F T T T T T
F F T T T T
Example 1: Construct a truth table for the following:
Solutions:
T T F T T T
T F F F F T
F T T T T T
F F T T T T
Hence, ( ∼ ∨ ) ↔ ( → ) is an example of a
tautology. A tautology is a compound proposition that is
true for all possible truth values of its component
propositions.
𝑃
𝑄
𝑃
𝑄
Example 1: Construct a truth table for the following:
Solutions:
c. P ∧ ∼ Q → R
Solutions:
c. P ∧ ∼ Q → R
Solution:
Since truth values are already given, just substitute to
find the truth value of ∨ → .
𝑃
𝑃
𝑅𝑇
𝐹
𝑄
𝐹
𝑄
𝑅
𝑃
𝑄
𝑅
Example 2: Find the truth value of ∨ → given
that , , and are assigned the following truth
values: , , and , respectively.
Solution:
∧( → )
where
𝑨
𝑩
𝑩
𝑪
𝑪
QUIZ #4
June 28/29