Predicate Logic (First-Order Logic)

This type of Logic extends Propositional Logic to allow quantification over objects or entities.