Discrete Mathematics(MATH2113)

Mr. Sajid Hussain

M.Phil Mathematics

Lecture 3
1
Previous Lecture Summary

• Logical Equivalences.
• De Morgan’s laws.
• Tautologies and Contradictions.
• Laws of Logic.
• Logical Equivalences using Logical
Laws.

2
Lecture`s outline
• Conditional Propositions.
• Negation, Inverse and Converse of the
conditional statements.
• Contra positive .
• Bi conditional statements.
• Necessary and Sufficient Conditions.
• Conditional statements and their Logical
equivalences.
3
Conditional propositions

Definition
If p and q are propositions, the conditional of q by p
is if p then q or p implies q and is denoted by p→q.
It is false when p is true and q is false otherwise it is
true.

Examples
If you work hard then you will succeed.
If John lives in Islamabad, then he lives in Pakistan.

4
Implication (if - then)

• Binary Operator, Symbol: 

P Q PQ
T T T
T F F
F T T
F F T

5
Interpreting Conditional Statements
Examples
“The online user is sent a notification of a link error if
the network link is down”.
The statement is equivalent to
“If the network link is down, then the online user is sent a
notification of a link error.”
Using
p : The network link is down,
q : the online user is sent a notification of a link error.

The statement becomes (q if p)

p → q.
6
Examples
“When you study the theory, you understand the
material”.
The statement is equivalent to (using if for ‘‘when’’)
“If you study the theory, then you understand the material.”
Using
p : you study the theory,
q : you understand the material.

The statement becomes (when p, q)

p → q.

7
Examples

“Studying the theory is sufficient for solving the

exercise”.

The statement is equivalent to

“If you study the theory, then you can solve the exercise.”
Using
p : you study the theory,
q : you can solve the exercise.

The statement becomes (p is sufficient for q)

p → q.

8
Other forms of conditional propositions

• if p and q are statements then “p only if q” means ‘’if

p then q”.

John will break the world`s record for the mile run only
if he runs the mile in under four minutes.

is equivalent to

If john breaks the world`s record, then he will have to

run the mile in under four minutes.

9
 Activity
• Show that
p→q ≡ ¬p  q
This shows that a conditional proposition is simple a
proposition form that uses a not and an or.

• Show that
¬(p→q) ≡ p  ¬q
This means that negation of ‘if p then q’ is logically
equivalent to ‘p and not q’.

10
Solution

p q p  q ¬pq ¬(pq) p¬q

T T T T F F
T F F F T T
F T T T F F
F F T T F F

From the above table it is obvious that conditional

proposition is equivalent to a “not or proposition” and that
its negation is not of the form ‘if then’.

11
Negations of some Conditionals
Proposition: If my car is in the repair shop, then I
cannot get the class.
Negation: My car is in the repair shop and I can get the
class.

Proposition: If Sara lives in Athens, then she lives in

Greece.
Negation: Sara lives in Athens and she does not live in
Greece.

12
Converse and inverse of the Conditional

Suppose a conditional proposition of the form ‘If p then

q’ is given.
1.The converse is ‘if q then p’.
2.The inverse is ‘if ¬p then ¬q’.
Symbolically,
The converse of p→q is q→p,
And
The inverse of p→q is ¬p→¬q.

13
Continue…..

Note: that the converse is not equivalent to the given

conditional proposition, for instance “ if john is from Chicago
then john is from Illinois” is true , but the converse “ if john is
from Illinois then john is from Chicago” may be false.

Similarly the inverse is also not equivalent to the conditional

proposition, for instance “ if an object is triangle then it is a
polygon” is true, but the inverse “ if an object is not a triangle
then it is not a polygon” is false i.e. square is a polygon.
14
Contraposition
Definition
The contra positive of a conditional proposition of the form
‘if p then q’ is ‘if ¬q then ¬p’. Symbolically, the contra
positive of p→q is ¬q→¬p.

A conditional proposition is logically equivalent to its contra-

positive.

Example
If today is Sunday, then tomorrow is Monday.
Contra positive:
If tomorrow is not Monday, then today is not Sunday.
15
The Biconditional
Definition Given proposition variables p and q, the
Bi conditional of p and q is p if and only if q and is
denoted p↔q.
It is true if both p and q have the same truth values
and is false if p and q have opposite truth values.
The words if and only if are sometime abbreviated iff.

Example This computer program is correct iff it

produces the correct answer for all possible sets of
input data.

16
Truth table
p q p↔q
T T T
T F F
F T F
F F T

p q p→q q→p p↔q (p→q)

(q→p)
T T T T T T
T F F T F F
F T T F F F
F F T T T T 17
Interpreting Necessary and sufficient conditions

“If a number is divisible by 10, then it is divisible by 2”.

The clause introduced by If A number is divisible by 10” is called
the hypothesis. It is what we are given, or what we may assume.
The clause introduced by then It is divisible by 2 is called
the conclusion. It is the statement that "follows" from the
hypothesis.
When the If-then sentence is true, we say that the hypothesis is a
sufficient condition for the conclusion. Thus it is sufficient to know
that a number is divisible by 10, in order to conclude that it is
divisible by 2.
The conclusion is then called a necessary condition of that
hypothesis. For, if a number is divisible by 10,
it necessarily follows that it will be divisible by 2.
18
Interpreting Necessary and sufficient conditions

Example: Consider the proposition

‘if John is eligible to vote then he is at least 18 year
old’.
The truth of the condition ‘John is eligible to vote’ is
sufficient to ensure the truth of the condition ‘John is at
least 18 year old’.
In addition, the condition ‘John is at least 18 year old’
is necessary for the condition ‘John is eligible to vote’
to be true. If John were younger than 18, then he would
not eligible to vote.

19
Necessary and Sufficient Conditions
Let r and s are two propositions

r is a sufficient condition for s means ‘if r then s’.

r is a necessary condition for s means ‘if not r then not s’

r is necessary and sufficient condition for s means ‘r if

and only if s’

20
Logical Equivalence of Conditional propositions

Prove that ¬[r ∨ (q ∧ (¬r →¬p))] ≡ ¬r ∧ (p∨ ¬q)

¬[r ∨ (q ∧ (¬r → ¬p))]

≡ ¬r ∧ ¬(q ∧ (¬r → ¬p)), De Morgan’s law
≡ ¬r ∧ ¬(q ∧ (¬¬r ∨ ¬p)), Conditional rewritten as
disjunction
≡ ¬r ∧ ¬(q ∧ (r ∨¬p)), Double negation law
≡ ¬r ∧ (¬q ∨ ¬(r ∨ ¬p)), De Morgan’s law
≡ ¬r ∧ (¬q ∨ (¬r ∧ p)), De Morgan’s law, double
negation
≡ (¬r ∧¬q) ∨ (¬r ∧ (¬r ∧ p)), Distributive law
≡ (¬r ∧¬q) ∨ ((¬r ∧ ¬r) ∧ p), Associative law
≡ (¬r ∧¬q) ∨ (¬r ∧ p), Idempotent law
≡ ¬r ∧ (¬q ∨ p), Distributive law
21
≡ ¬r ∧ (p ∨¬q), Commutative law
Conversion of statements in to symbols
Write these system specifications in symbols using the
propositions

v: “The user enters a valid password,”

a: “Access is granted to the user,”
c: “The user has contacted the network administrator,”

and logical connectives. Then determine if the system

specifications are consistent.

(i) “The user has contacted the network administrator, but does
not enter a valid password.”

c∧¬v
22
Cont….

ii) “Access is granted whenever the user has

contacted the network administrator or enters a valid
password.”

(c ∨ v) → a

(iii) “Access is denied if the user has not entered a

valid password or has not contacted the network
administrator.”

(¬v ∨ ¬c) → ¬a 23
Conversion of statements in to symbols

Translate this system specification into symbols:

“Whenever the file is locked or the system is in executive

clearance mode, the user cannot make changes in the data.”

l : “the file is locked”

e : “the system is in executive clearance mode”
u : “the user can make changes in the data”

then the statement in symbolic form would be

(l ∨ e) → ¬ u
24
Lecture Summary
• Conditional Propositions.
• Negation, Inverse and Converse of the conditional
statements.
• Contra positive .
• Bi conditional statements.
• Necessary and Sufficient Conditions.
• Conditional statements and their Logical
equivalences.
• Translating English to Symbols.

25