Predicate logic

Home > Mathematics > Set Theory > Set Theory and Logic > Predicate logic

Understanding predicate logic, including quantifiers (existential and universal), and inference rules (modus ponens, modus tollens).