Logical Equivalences and Rules of Inference in Propositional Logic

Not And Or If.. then Iff ~ ∧ ∨ → ↔ Rules of Inference (Common valid argument forms) Def The contrapositive of 𝑝 → 𝑞 is ~𝑞 → ~𝑝. Def The converse of 𝑝 → 𝑞 is 𝑞 → 𝑝. Def The inverse of 𝑝 → 𝑞 is ~𝑝 → ~𝑞. Def 𝑝 is a sufficient condition for 𝑞 means 𝑝 → 𝑞. Def 𝑝 is a necessary condition for 𝑞 means 𝑞 → 𝑝. Karnaugh maps