Families of Conditional Propositions & Biconditional Propositions

Republic of the Philippines
PARTIDO STATE UNIVERSITY

Goa, Camarines Sur
Goa Campus/CAS-IIT
Module 1
Families of Conditional Propositions & Biconditional Propositions
Name of Student: Week No.: 13-14

Course Code: DS1 Name of Faculty: ANTONIO B. OQUIALDA
Course Title: DISCRETE STRUCTURES 1 Date: Nov. 08 – 19, 2021
I. OBJECTIVES
a. Write the inverse, converse and contrapositive of a given conditional proposition (implication).
b. Discuss the concept of biconditional proposition and its truth value.
c. Evaluate the truth value involving biconditional propositions.
d. Consolidate acquired skills on propositional logic.
II. LESSON
A. Families of Conditional Propositions

Recall: Truth Table of Conditional Proposition; ( )
The truth value of the conditional proposition, is FALSE only if the hypothesis is true and the
conclusion is false, otherwise it is TRUE. (See the Truth Table)
The families of a conditional proposition or implication are the following;

T T T
1. INVERSE T F F
The inverse (or opposite) of a conditional proposition results from simply F T T
negating each the hypothesis and the conclusion.
F F T
2. CONVERSE
The converse of a conditional proposition results from simply switching the role of the hypothesis and
the conclusion.
3. CONTRAPOSITIVE
The contrapositive (or transposition) of a conditional proposition results from simply negating each
proposition after switching the role of the hypothesis and the conclusion.
Truth Table for INVERSE:
In some cases, two different

compound propositions have
the same truth values no matter
what truth values their
Truth Table for CONVERSE: constituent propositions have,
such propositions are said to be
LOGICALLY EQUIVALENT. The
symbol for logical equivalence is
≡.
Truth Table for CONTRAPOSITIVE:
Goa, Camarines Sur
EXAMPLE 1: Given the implication/conditional statement; “If you do your homework, then you will not
be punished”. Write its inverse, converse, and contrapositive.
From the given, it is very clear that “you do your homework” is the hypothesis , and “you will not be
punished” is the conclusion . Thus the conditional statement is in the form, .
a. INVERSE : “If you do not do your homework, then you will be punished”.
b. CONVERSE : “If you will not be punished, then you do your homework”.
c. CONTRAPOSITIVE : “If you are punished, then you do not do your homework”.
EXAMPLE 2: Given the contrapositive of a conditional statement as: “If I don’t take my medicine, then I
want to visit the doctor”. Write its conditional statement, inverse, and converse.
Solution: From the given contrapositive statement, it is clear that the following propositions are;
̅ Hence,
̅ Hence,
Therefore:
a. CONDITIONAL : “If I don’t want to visit the doctor, then I take my medicine”.
b. INVERSE : “If I want to visit the doctor, then I won’t take my medicine”.
c. CONVERSE : ‘If I take my medicine, then I don’t want to visit the doctor”.
B. Biconditional proposition
Another useful compound proposition is , and such statement is considered to be
true precisely when and have the same truth values (that is, are both true or are
both false).
Definition: If and are propositions, the compound proposition is called a
biconditional proposition, and is denoted by .
The truth value of the proposition is defined by the following truth

table;
An alternative way to state is

.
is sometimes written as .
Example: The propositions are;
Or
Note: A biconditional proposition is a combination of a conditional statement and its converse written in the
form .
Example: Given the statement, “Two line segments are congruent, if and only if, they are of equal length”.
Identify and write and .
Answer:
Goa, Camarines Sur
C. Equivalent Statements
1. A conditional proposition and its contrapositive are logically equivalent.
2. The conjunction of a conditional proposition and its converse are logically equivalent to its
biconditional proposition.
III. ACTIVITIES
a. Answer completely the activity sheets (DS1-W13-AW1) posted in the Moodle and submit it back in .docx or .pdf format.
IV. ASSESSMENT
i. Answer the Quiz assignment (DS1-W13-WQ1)
V. SUGGESTED REFERENCES
1. Richard Johnsonbaugh, “Discrete Mathematics”, 5ed; 2001
2. Kenneth H. Rosen, “Discrete Mathematics and its Applications”, 7ed; 2012
3. Maribeth Fernandez, “Discrete Mathematics”, c. 2010
4. Mathematics in the Modern World, OBE-GEC Series, Cengage (Philippine Edition); 2018
5. Uploaded Video tutorials:
Prepared by:
ANTONIO B. OQUIALDA
Subject Instructor
Reviewed & Approved by:
JONI NEIL B. CAPUCAO, DIT

Chairman, IIT IM Review Committee

Families of Conditional Propositions & Biconditional Propositions

Uploaded by

Copyright:

Available Formats

Families of Conditional Propositions & Biconditional Propositions

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Families of Conditional Propositions & Biconditional Propositions

Uploaded by

Copyright:

Available Formats

Republic of the Philippines

PARTIDO STATE UNIVERSITY

Name of Student: Week No.: 13-14

A. Families of Conditional Propositions

The families of a conditional proposition or implication are the following;

Truth Table for INVERSE:

In some cases, two different

The truth value of the proposition is defined by the following truth

An alternative way to state is

Example: The propositions are;

Reviewed & Approved by:

JONI NEIL B. CAPUCAO, DIT

You might also like