---
tag: 2QQ7Q5SKP8
kind: concept
name: Logical constant
aliases: [constant-logic, constant-symbol, logical-constants]
sources:
  - wikipedia: en:4089175@r1374183857
    locator: Logical constant
    note: adopted
    mention: wikipedia://en/4089175
    sections: [Summary]
same_as:
  wikidata: Q1782658
  wikipedia: Logical constant
inventory: [5YVX9Z8E77]
---

## Summary

In logic, a **logical constant** or **constant symbol** of a language $\mathcal{L}$ is a symbol that has the same semantic value under every interpretation of $\mathcal{L}$. Two important types of logical constants are logical connectives and [[quantifiers|0FYQMKFE77]]. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic.