e/Logical constant

New Query

Information
has glosseng: 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.
lexicalizationeng: logical constant
instance ofe/Grammatical relation
Meaning
German
has glossdeu: 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.
lexicalizationdeu: Konstante
Dutch
has glossnld: 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.
lexicalizationnld: logische constante
Polish
has glosspol: Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń słownika teorii logicznej.
lexicalizationpol: Stała logiczna
Castilian
has glossspa: 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.
lexicalizationspa: Constante logica
lexicalizationspa: constante lógica

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint