Scribd
Upload
5 views

Assignment No1 MTH

This assignment based on true solution

Uploaded by

bc240217786mpa
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
5 views

Assignment No1 MTH

This assignment based on true solution

Uploaded by

bc240217786mpa
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Assignment No.

01

MTH202 (Fall 2024)

Section in-charge Shahzad khan

Bc240217786 (Maha Parveen)

Question #1 10 Marks

Prove the following logical equivalence using a truth table:

𝒑˄𝒒 ≡∼ (𝒑 →∼ 𝒒)

Answer:

∼𝒒 𝒑 →∼ 𝒒 ∼ (𝒑 →∼
𝒒)
p q p˄𝒒

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

From the truth table, the column for p˄𝒒 matches with ∼ (𝒑 →∼ 𝒒), confirming
F F F T T F

that 𝒑˄𝒒 ≡∼ (𝒑 →∼ 𝒒).

Question No: 2 10 Mark

Show that (p → q) ∧ (q → p) is logically equivalent to

P ↔ q.

Answer:

p q p→q q→p (p → q) ∧ (q → P ↔ q.
p)
T T T T T T
T F F T F F
F T T F F F

The column for (p → q) ∧ (q → p) and P ↔ q match, verifying the equlvance.


F F T T T T
Question No:3 10 Marks

Use the logical equivalences above to show that ∼ (p ∨ ∼ (p ∧ q)) is a

Contradiction.

Answer:

p q (p ∧ q) ∼ (p ∧ q) p ∨ ∼ (p ∧ q) ∼ (p ∨ ∼ (p ∧ q))
T T T F T F
T F F T T F
F T F T T F

The column for ∼ (p ∨ ∼ (p ∧ q)) is false in all cases, proving that it is a


F F F T T F

contradiction.

Question No: 4 10 Marks

Show that (P → Q) ∨ (Q → P) is a tautology.

Answer:

P Q P→Q Q→P (P → Q) ∨ (Q →
P)
T T T T T
T F F T T
F T T F T
F F T T T

The column for (P → Q) ∨ (Q → P) is the true in all cases, confirming that it is a


tautology.

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy