2.4 Logical Equivalence

Two propositions are said to be logically equivalent, or simply equivalent or equal, if they have the same truth table. By the end of this topic, you will be able to apply Truth Tables to determine if two propositions are Logically Equivalent.

Lesson 1 of 4: Logical Equivalence

https://www.youtube.com/watch?v=U2zPxuj8mnI

Logical Equivalence of Two Statements

Lesson 2 of 4: What have I learnt?

Logical Equivalent

Two propositions are said to be logically equivalent, or simply equivalent or equal,  if they have the same truth table. They are denoted by ≡ or ⇔.

As an example, the propositions

• ~(p ∧ q)
• ~p ∨ ~q

are logically equivalent since they have the same Truth Tables.

Lesson 3 of 4: Review Questions

Question 01/01

Two propositions which are Logically Equivalent is denoted by

1. ≡
2. =
3. ==
4. ⇔

• Answer