Logical constant

From FasciPedia
Revision as of 07:20, 2 June 2023 by Bacchus (talk | contribs) (Created page with "In logic, a '''logical constant''' or constant symbol of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic . Category:Definitions Category:Philosophy")
(diff) ← Older revision | Latest revision (diff) | Newer revision β†’ (diff)
Jump to navigation Jump to search

In logic, a logical constant or constant symbol of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic .

Retrieved from "http:///index.php?title=Logical_constant&oldid=21841"