Loading…
Loading…
Concept · Foundations
A symbol that names a specific object in the domain of discourse, typically written with lowercase letters like a, b, c.
Why it matters
Constants pick out particular individuals and let you form atomic formulas about them.
Where this shows up
Following the links will take you to the page where this term is introduced in context.
Related