Bacchus: 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"

2023-06-02T16:20:45Z

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"

New page

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]]

Logical constant - Revision history