Scribd
Upload
34 views3 pages

Assingment: Propositional Equivalence & Logical Equivalence

The document assigns the task of verifying six logical equivalences and proving six conditional statements are tautologies using truth tables. It provides the logical equivalences and conditional statements that must be verified and proven as tautologies. The document is assigning a verification and proof exercise for a course on propositional equivalence and logical equivalence.

Uploaded by

Suhail Qadir
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
34 views3 pages

Assingment: Propositional Equivalence & Logical Equivalence

The document assigns the task of verifying six logical equivalences and proving six conditional statements are tautologies using truth tables. It provides the logical equivalences and conditional statements that must be verified and proven as tautologies. The document is assigning a verification and proof exercise for a course on propositional equivalence and logical equivalence.

Uploaded by

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

ASSINGMENT

PROPOSITIONAL EQUIVALENCE
&
LOGICAL EQUIVALENCE

MSc. IT
Directorate of Information Technology & Support Systems
University of Kashmir
verify the following Logical Equivalences using a
TRUTH TABLE

1. p → q ≡ ¬ q → ¬ p
2.p ∧ q ≡ ¬(p → ¬q)
3.(p → q) ∨ (p → r) ≡ p → (q ∨ r)
4.p ↔ q ≡ ¬p ↔ ¬q
5.p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q)
6.¬(p ↔ q) ≡ p ↔ ¬q
Show that each of these conditional statements is a
tautology by using TRUTH TABLE

1. (p ∧ q) → p
2. (p ∧ q) → (p → q)
3. ¬(p → q) → ¬ q
4. [¬p ∧ (p ∨ q)] → q
5. [(p → q) ∧ (q → r)] → (p → r)
6. [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r

You might also like