In logic, a logical constant or constant symbol of a language L {\displaystyle {\mathcal {L}}} is a symbol that has the same semantic value under every interpretation of L {\displaystyle {\mathcal {L}}} . Two important types of logical constants are logical connectives and quantifiers.
In logic, a logical constant or constant symbol of a language L {\displaystyle {\mathcal {L}}} is a symbol that has the same semantic value under every interpretation of L {\displaystyle {\mathcal {L}}} . Two important types of logical constants are logical connectives and quantifiers.
Source: Wikipedia "Logical constant" · CC BY-SA 4.0
Share this article: X · Bluesky