individual constant

logic

Learn about this topic in these articles:

extensions of lower predicate calculus

  • Alfred North Whitehead
    In formal logic: Special systems of LPC

    One or more individual constants (say, a, b, …): these constants are interpreted as names of specific individuals; formally they are distinguished from individual variables by the fact that they cannot occur within quantifiers; e.g., (∀x) is a quantifier but (∀a) is not. b.One or more predicate constants…

    Read More