Logical equivalencebr Hello friends, Welcome to my channel mathstips4u.br In my last video we have seen double implication or bi-conditional and its truth table.br In this video we are going to learn logical equivalence and some of its examples.br First we shall see what is meant by Statement Pattern.br Let p, q, r, …be simple statements. Then a statement formed from these statements and one or more connectives Ʌ, V, ~, →, ↔ is called a statement pattern.br e.g. (i) p Ʌ ̴q (ii) p Ʌ (p V q) (iii) p Ʌ (q ↔ r) etc. are statement patterns.br Now we shall see Logical equivalence.br Two statement patterns say S1 and S2 are said to logically equivalent if they have identical truth values in their last column of the truth tables.br In that case we write S1 ≡ S2 or S1 = S2br Ex. Using truth table verify br 1. ~ (p V q) ≡ ~ p Ʌ ~ q br 2. ~ (p Ʌ q) ≡~ p V ~q br I shall verify first, the second example is left for you as an exercise.br The results (1) and (2) are called as De Morgan’s Lawsbr 3. Hence p → q ≡ ~p V q ≡ ~ q → ~p. We shall see the truth table. br p q p → q ̴ p ̴ q ̴p V q ̴ q → ̴ pbr T T T F F T Tbr T F F F T F Fbr F T T T F T Tbr F F T T T T Tbr (1) (2) (3) (4) (5) (6) (7)br We observed that column no’s (3), (6) and (7) are identical.br Hence p → q ≡ ̴p V q ≡ ̴ q → ̴ p br So ~q → ~p is contrapositive of p → q. br 4. p ↔ q ≡ (p → q) Ʌ (q → p). We shall see the truth table. br p q p ↔ q p → qbr a q → pbr b a Ʌbbr T T T T T Tbr T F F F T Fbr F T F T F Fbr F F T T T Tbr (1) (2) (3) (4) (5) (6)br br We observed that column no. (3) and column no (6) are identicalbr Hence p ↔ q ≡ (p → q) Ʌ (q → p)br Ex. Using truth table verify thatbr 1. p Ʌ (q V r) ≡ (p Ʌ q) V (p Ʌ r)br We shall see the truth table. br p q r q V r p Ʌ (q V r) p Ʌ qbr = a p Ʌ rbr = b a V bbr T T T T T T T Tbr T T F T T T F Tbr T F T T T F T Tbr F T T T F F F Fbr T F F F F F F Fbr F T F T F F F Fbr F F T T F F F Fbr F F F F F F F Fbr (1) (2) (3) (4) (5) (6) (7) (8)br We observed that column no. (5) and column no, (8) are identicalbr Hence p Ʌ (q V r) ≡ (p Ʌ q) V (p Ʌ r)br 2. p V (q Ʌ r) ≡ (p V q) Ʌ (p V r)br This example is left for you as an exercise.br These results are called Distributive laws. br In this way we have seen statement pattern and Logical equivalence.br In my next video we will learn converse, Inverse and contrapositive of an implication.br Thanking you for watching my video.