Also known as first-order logic or quantificational logic, this extends propositional logic by introducing variables that range over objects in a given domain.
Also known as first-order logic or quantificational logic, this extends propositional logic by introducing variables that range over objects in a given domain.