e/Principle of bivalence

New Query

Information
has glosseng: In logic, the semantic principle of bivalence states that every proposition is either true or false. The dual semantic principle, the principle of contravalence, states that no proposition is both true and false. The principle of bivalence is related to the excluded middle though the latter is a syntactic expression of the language of a logic of the form "P or ¬P". The difference between the principle and the law is important because there are logics which validate the law but which do not validate the principle, and vice versa. For example, the "Logic of Paradox" (LP) of Graham Priest validates the law of excluded middle though its intended semantics is not bivalent.
lexicalizationeng: principle of bivalence
instance ofc/Principles
Meaning
German
has glossdeu: Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird. Häufig werden diese Wahrheitswerte als wahr und falsch bezeichnet.
lexicalizationdeu: Prinzip der Zweiwertigkeit
French
has glossfra: En logique, le principe de bivalence est une version sémantique de la loi du tiers exclu ; il énonce que toute proposition P doit être soit vraie soit fausse, cest-à-dire quelle ne peut prendre que deux valeurs de vérité (et qu'elle doit en prendre une).
lexicalizationfra: Principe de bivalence
Icelandic
has glossisl: Tvígildislögmálið er lögmál í rökfræði sem staðhæfir að sérhver staðhæfing P sé annaðhvort sönn eða ósönn.
lexicalizationisl: Tvígildislögmálið
Italian
has glossita: In logica, il principio di bivalenza afferma che per ogni proposizione P, o P è vera oppure P è falsa, ossia che il grado di verità di una proposizione ammette valori nell'insieme discreto VERO,FALSO}.
lexicalizationita: principio di bivalenza
Moldavian
has glossron: Logica binară este cea mai simplă şi cea mai comună formă de structurare a operaţiilor logice. Logica binară porneşte de la premiza că o propoziţie poate avea numai unul din două rezultate posibile: adevărat sau fals. În sens abstract, se pot folosi şi valorile binare 1 şi respectiv 0 pentru a reprezenta cele două alternative.
lexicalizationron: logică binară
Russian
has glossrus: Двоичная логика (двузначная логика) — это логика, основанная на двух утверждениях. Истина (логическая единица) и ложь (логический нуль). Из-за простоты реализации получила широкое распространение в вычислительной технике. В вычислительной технике разделяют положительную (истина=1, ложь=0) и отрицательную (истина=0, ложь=1) логику.
lexicalizationrus: Двоичная логика
Castilian
has glossspa: Un sistema de bivalente es aquel que admite sólo dos valores de verdad para sus enunciados (premisas y conclusión). En la lógica bivalente, una proposición sólo puede ser verdadera o falsa, no existen valores intermedios de verdad. El clásico sistema de lógica bivalente es la lógica aristotélica que se sustenta en tres principios básicos:
lexicalizationspa: Logica bivalente
lexicalizationspa: lógica bivalente
Swedish
has glossswe: Bivalent logik är logik där endast två sanningsvärden förekommer, till skillnad från till exempel flervärd logik och suddig logik.
lexicalizationswe: Bivalent logik
Chinese
has glosszho: 在逻辑中,二值原理声称对于任何命题 P,要么 P 为真要么 P 为假。
lexicalizationzho: 二值原理

Query

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


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