An introduction to predicate logic, which extends first-order logic and deals with the quantification of variables.