Predicate logic
|
Predicate logic, also known as first-order logic and first-order predicate calculus, is a formalization of the language of mathematics, proposed by Gottlob Frege, between the end of the nineteenth century and the beginning of the twentieth century. In predicate logic, … Read More