Information | |
---|---|
has gloss | eng: In logic, a logical constant of a language \mathcalL} is a symbol that has the same semantic value under every interpretation of \mathcalL}. 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. |
lexicalization | eng: logical constant |
instance of | e/Grammatical relation |
Meaning | |
---|---|
German | |
has gloss | deu: Allgemein ist eine Konstante (von lat. constans – feststehend) ein Zeichen beziehungsweise ein Sprachausdruck mit einer „genau bestimmte[n] Bedeutung, die im Laufe der Überlegungen unverändert bleibt“ . Die Konstante ist damit ein Gegenbegriff zur Variablen. |
lexicalization | deu: Konstante |
Dutch | |
has gloss | nld: Een logische constante is een bouwsteen van een logische formule. Voorbeelden van logische constanten zijn kwantoren (alle, geen, sommige), negatie (niet), en connectieven (en, of, noch, als). Ze worden constanten genoemd, omdat hun betekenis vastligt in elke situatie. Inhoudswoorden als "paard" zijn geen constanten, omdat hun denotatie kan variëren. De waarheidswaarde van "Alle paarden zijn dood" kan daardoor per situatie verschillen, maar de betekenis van "alle" en "zijn" ligt telkens vast. |
lexicalization | nld: logische constante |
Polish | |
has gloss | pol: Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń słownika teorii logicznej. |
lexicalization | pol: Stała logiczna |
Castilian | |
has gloss | spa: En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición, y por extensión la validez o invalidez de los argumentos. |
lexicalization | spa: Constante logica |
lexicalization | spa: constante lógica |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint