Professional Documents
Culture Documents
Logic in Computer Science: BITS Pilani
Logic in Computer Science: BITS Pilani
• Last two examples show that both left side formula can
be proved from the right side formula and vice versa.
Hence the two formulas are equivalent.
• 𝑝 ∧ 𝑞 ⟶ 𝑟 ⊣⊢ 𝑝 ⟶ 𝑞 ⟶ 𝑟