First-Order Logic

First-order logic, Non-logical symbol, Free variables and bound variables, Structure (mathematical logic), List of rules of inference, Method of analytic tabl... » 

First-order logic, Non-logical symbol, Free variables and bound variables, Structure (mathematical logic), List of rules of inference, Method of analytic tableaux, Sequent calculus «