e/Propositional formula

New Query

Information
has glosseng: In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.
lexicalizationeng: propositional formula
instance ofe/Grammatical relation
Meaning
German
has glossdeu: Eine Aussage ist semantisch gesehen ein Deklarativsatz, das heißt eine sprachliche Formulierung, mit der entweder ein Sachverhalt, eine Vermutung, eine These oder eine persönliche Position wie etwa eine Meinung zum Ausdruck gebracht wird. Grammatikalisch gesehen ist eine Aussage in den Indogermanischen Sprachen ein Satz im Modus Indikativ. Aus Sicht der Logik ist eine Aussage ein Satz, der wahr oder falsch ist oder – allgemeiner – dem genau ein Wahrheitswert zugeordnet ist.
lexicalizationdeu: Aussage
Moldavian
has glossron: O afirmaţie este o formulare lingvistică, prin care o supoziţie, o teză sau o poziţie personală (de ex. o opinie) este exprimată.
lexicalizationron: Afirmaţie
lexicalizationron: Afirmație
Russian
has glossrus: Логическое высказывание — упрощение термина «Суждение» из формальной логики, используется в математической логике. Высказыванием является повествовательное предложение, которое формализует некоторое выражение мысли. Это утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true). Логическое высказывание принято обозначать заглавными латинскими буквами.
lexicalizationrus: высказывание
Media
media:imgPropositional formula 3.png
media:imgPropositional formula NANDs.png
media:imgPropositional formula connectives 1.png
media:imgPropositional formula flip flops 1.png
media:imgPropositional formula maps 1.png
media:imgPropositional formula maps 2.png
media:imgPropositional formula oscillator 1.png

Query

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


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