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