Predicate Calculus
Home
>
Philosophy
>
Metaphysics
>
Logic
>
Predicate Calculus
This deals with the study of quantified variables, such as "for all" and "there exists.".