Predicate Calculus

Home > Philosophy > Metaphysics > Logic > Predicate Calculus

This deals with the study of quantified variables, such as "for all" and "there exists.".