DS Lecture 3 CST
DS Lecture 3 CST
Aleena Rehman
ZUFESTM - Ziauddin University Faculty of
Engineering & Management
Examples
Q-1: Consider these statements,
P: It will rain today.
Q: I shall go to the party.
Solve these propositions with reference to the above statements:
(i) (~P V~Q)
(ii) (~P ^ Q)
(iii) (P V Q)
Q-2: Write the following in symbolic form
“If either Jennie eats pie or Minnie eats cake then Sherry will eat pudding”
Q-3: Construct a truth table for
(P ->Q) V (~Q ->P)
2
Q-4: Write the following statement for given values of p and q.
I.p: x3 = 8 , q: x = 2
II.p: She is a good student, q: She studies hard.
Q-5: Let, p, q, r are propositions :
p: Sia cooks well
q: Sia wins the cooking competition
r: Sia becomes a chef
Express the following propositions as English sentences:
i) (p -> q) ^ r
ii) (~p -> -r)
iii) (~p -> ~q) V (q -> r)
Discrete StructuresDiscrete 3
Structures
Solution:
1- (~P V~Q) : It will not rain today or I shall not go to the party.
(ii) (~P ^ Q) : It will not rain today and I shall go to the party.
(iii) (P V Q) : It will rain today or I shall go to the party.
2- The Logical form of the above compound statement is (p v q) -> r.
3-
4
4-
5-
5
Logical Equivalence
Solution
p ¬p ¬ (¬p)
T F T
F T F
11
Examples:
Show that:
i. P -> Q ≣ ~P V Q
ii. P <-> Q ≣ (P -> Q) ∧ (Q -> P)
iii. P ⊕ Q ≣ (P ∧ ~Q) V (~P ∧ Q)
12
13
14
De Morgan’s laws
De Morgan’s laws state that:
The negation of an and proposition is
logically equivalent to the or proposition in
which each component is negated.
1. ¬(pq) ≡ ¬p¬q
2. ¬(pq) ≡ ¬p¬q
Applying De-Morgan’s Law
Question: Negate the following compound Propositions
-1< x 4
Solution: The given proposition is equivalent to
-1 < x and x 4,
By De Morgan’s laws, the negation is
-1 ≥ x or x > 4.
Given Statement:
x is greater than -1 AND x is less than or equal to 4
Mathematically:
(-1 < x) AND (x ≤ 4)
Negation:
To negate the statement, we first write it in its logical form: (-1 < x) AND (x ≤ 4)
Apply De Morgan's laws, which state:
Negation of (A AND B) = (NOT A) OR (NOT B)
Negate each part:
NOT (-1 < x) becomes x ≤ -1.
NOT (x ≤ 4) becomes x > 4.
Combine these with OR:
x ≤ -1 OR x > 4
22
23
Tautology and Contradiction
p ¬p p ¬p p ¬p
T F T F
F T T F
1. Commutative laws
pq ≡ qp ; pq ≡ qp
2. Associative laws
p (q r) ≡ (p q) r ; p(q r) ≡ (pq)r
3. Distributive laws
p (q r ) ≡ (p q) (p r)
p (q r) ≡ (p q) (p r)
Laws of Logic
4. Identity laws
p t ≡ p ; pc ≡ p
5. Negation laws
p¬p ≡ t ; p ¬p ≡ c
7. Idempotent laws
p p ≡ p ; pp ≡ p
Laws of Logic
9. Absorption laws
p (pq) ≡ p ; p (p q) ≡ p
• Show that
¬(p→q) ≡ p ¬q
This means that negation of ‘if p then q’ is logically
equivalent to ‘p and not q’.
Solution
40
Negations of some Conditionals
• Original Proposition:
"If my car is in the repair shop, then I cannot get to class."
Negation:
"My car is in the repair shop, and I can get to class.“
(This is the negation of the conditional, where both parts of the condition are true but
the conclusion is false.)
• Original Proposition:
"If Sara lives in Athens, then she lives in Greece."
Negation:
"Sara lives in Athens, and she does not live in Greece."
(This is the negation of the conditional, where the premise is true, but the conclusion
is false.)
The basic formula for negating a conditional statement "If P, then Q" is:
To explain in simple terms:
•Original Statement: "If P, then Q"
This means if P happens, then Q will definitely happen.
•Negation:
The negation of this is:
"P is true, and Q is false."
This means that P is happening, but Q is not happening.
42
Examples
43
Contrapositiven
Definition
The contrapositive of a conditional proposition of the form ‘if p
then q’ is ‘if ¬q then ¬p’. Symbolically, the contrapositive of
p→q is ¬q→¬p.
Example
If today is Sunday, then tomorrow is Monday.
Contrapositive:
If tomorrow is not Monday, then today is not Sunday.
Converse and inverse of the Conditional
1. Sufficient Condition:
A condition P is sufficient for another condition Q if, whenever P is true, Q must
also be true. In other words, P guarantees the truth of Q.
In simpler terms: If P happens, then Q will definitely happen.
Notation:
•Sufficient condition: If P, then Q (P ⇒ Q).
•Interpretation: P is sufficient to make Q true.
2. Necessary Condition:
A condition P is necessary for another condition Q if Q cannot be true without P
being true. In other words, Q can only occur if P also occurs. P is required for Q to
be true, but it does not guarantee Q.
•In simpler terms: For Q to happen, P must happen, but P alone does not
guarantee that Q will happen.
Notation:
•Necessary condition: If Q, then P (Q ⇒ P).
•Interpretation: Q cannot be true without P being true.
49
Discrete StructuresDiscrete 50
Structures
Interpreting Necessary and sufficient conditions
Statement 1: "If a student has a valid ID, then they can access the library."
Statement 2: "If you are a human, then you are a living being."
Statement 3: "If a person is a registered voter, then they are eligible to vote in elections."
Statement 5: "If an athlete wins the race, then they receive a gold medal."
Discrete StructuresDiscrete 55
Structures
Solutions:
Statement 1:
1. Sufficient: Having a valid ID is sufficient for accessing the library (if you have a valid ID,
you can access the library).
2. Necessary: Having a valid ID is necessary to access the library (without it, you cannot
access).
Statement 2:
1. Being a human is a sufficient condition for being a living being (if you are human, you are
automatically a living being).
2. Being a living being is a necessary condition for being a human (you cannot be a human
without being a living being).
Statement 3:
1. Being a registered voter is a sufficient condition for being eligible to vote (if you are
registered, you can vote).
2. Being eligible to vote is a necessary condition for being a registered voter (you need to be
eligible to vote before registering).
Statement 4:
1. Receiving sunlight is a sufficient condition for photosynthesis (if a plant receives sunlight, it
will photosynthesize).
2. Photosynthesis is a necessary condition for a plant to receive sunlight (it doesn't make
sense for a plant to receive sunlight but not photosynthesize).
56
Statement 5:
1. Winning the race is the sufficient condition for receiving a gold
medal (if you win, you will get the medal).
2. Winning the race is also the necessary condition for receiving
the gold medal (you cannot get the gold medal without
winning).
Statement 6:
1. Being divisible by 2 is a sufficient condition for being an even
number.
2. Being an even number is a necessary condition for being
divisible by 2 (every even number must be divisible by 2).
Statement 7:
1. Having a degree is a sufficient condition for being educated (if
you have a degree, you are educated).
2. Being educated is a necessary condition for having a degree
(you need to be educated to earn a degree).
Statement 8:
1. Being a weekend is a sufficient condition for not having work
(if it is a weekend, you do not have work).
2. Not having work is a necessary condition for it being a
weekend (you cannot have work on a weekend for this
context).
57