There are many varieties of formal logic of varying complexity. Here we survey one that’s somewhat more complex than sentential or propositional logic, but still fairly elementary: quantificational or predicate logic.