Cpsc 125 Ch 1 Sec 2
WebBy looking at the truth table for the two compound propositions p → q and ¬q → ¬p, we can conclude that they are logically equivalent because they have the same truth values (checkWeb𝑝 𝑣 𝑞) ^𝑞 2 ≡ 𝑞 2 ^(𝑝 𝑣 𝑞) Ejemplo 3 Sea (𝑝 1 ^ 𝑝 1) ↔ 𝑝 1 Determine si (𝑝 𝑣 𝑞) ^ p 1 ↔ 𝑝 1 Construimos la tabla de verdad de (𝑝 𝑣 𝑞) ^ p 1 ↔𝑝 1 Se excluyen el caso (𝑉, 𝐹) El polinomio es una contingencia