Loterre: Matemáticas: logical constant

mathematical logic > logical constant

logical constant

In logic, a logical constant or constant symbol of a language ${\\displaystyle {\\mathcal {L}}}$ is a symbol that has the same semantic value under every interpretation of ${\\displaystyle {\\mathcal {L}}}$ . 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.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Logical_constant)

http://data.loterre.fr/ark:/67375/PSR-TM37Q643-X

RDF/XML TURTLE JSON-LD última modificación 12/10/23

LOTERRE