About: Principle of bivalence     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPrinciples, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FPrinciple_of_bivalence

In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false. A logic satisfying this principle is called a two-valued logic or bivalent logic. In formal logic, the principle of bivalence becomes a property that a semantics may or may not possess. It is not the same as the law of excluded middle, however, and a semantics may satisfy that law without being bivalent.

AttributesValues
rdf:type
rdfs:label
  • منطق بولياني (ar)
  • Lògica binària (ca)
  • Prinzip der Zweiwertigkeit (de)
  • Principo de duvalento (eo)
  • Principio de bivalencia (es)
  • Principe de bivalence (fr)
  • Principio di bivalenza (it)
  • Principle of bivalence (en)
  • Princípio da bivalência (pt)
  • Законы деления (ru)
  • 二值原理 (zh)
  • Принцип бівалентності (uk)
rdfs:comment
  • La lògica binària estableix relacions lògiques entre dos valors possibles, associats als conceptes de "vertader" i "fals" o "1" i "0".El principi de doble semàntica afirma que cap proposició és, alhora, vertadera i falsa. Una operació lògica assigna un valor (vertader o fals) a la combinació de condicions (certes o falses, apagades o enceses, obertes o tancades, etc.) d'un o més factors. La lògica binària treballa tant amb variables binàries com també amb operacions lògiques. A continuació es descriuen les diferents operacions lògiques: (ca)
  • المنطق البولياني هو نظام كامل . أخذ تسميته من العالم جورج بول الذي قام بتعريف النظام الجبري للمنطق في منتصف القرن التاسع عشر. للمنطق البولياني العديد من التطبيقات في الإلكترونيات، أجهزة الحاسوب والبرامج الحاسوبية. (ar)
  • Le principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité. Elle est soit vraie, soit fausse. Une logique respectant le principe de bivalence est dite logique bivalente. La logique classique est bivalente. (fr)
  • 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}. (it)
  • Законы деления (дихотомии) логики созданы для классификации и систематизации разных понятий. Основные принципы деления: * деление должно быть соразмерным; * деление на каждом его этапе должно производиться по одному основанию; * члены деления должны исключать друг друга, то есть не должны пересекаться; * деление не должно быть скачкообразным. Наиболее типичными ошибками при делении объёма понятия являютсяследующие: * неполное деление понятия; * слишком обширное деление; * скачок в делении — логическая ошибка, вызванная нарушением правила «деление должно быть непрерывным». (ru)
  • 在逻辑中,二值原理(英語:Principle of bivalence)是指,對於任何命题 P,只能有一個真值:命題P只能是真,或假,其中之一。滿足這個原則的邏輯推論,稱為二值邏輯(英語:two-valued logic,bivalent logic)。 在经典逻辑中,二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中,命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下,P 简单的不能有真值。其他逻辑,比如多值逻辑,可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见。 (zh)
  • En logiko, la semantika principo de duvalento, aŭ leĝo de duvalento, deklaras ke ĉiu deklara frazo esprimanta propozicio (de teorio sub inspekto) havas ĝuste unu vero-valoron, ajna vera aŭ falsa. Logiko kontentiganta ĉi tiun principon nomiĝas duvaloritan logikon aŭ duvalenton logikon. En formala logiko, la principo de duvalento fariĝas iĝas econ ke semantikoj eble povas havi aŭ ne. Tamen ĝi malsamas la leĝon de neekzisto de tria eblo. Kaj semantikoj povas konformiĝi tiun leĝon sen kongrui duvalentan. Ĝi povas esti skribita en la dua-orda propozicio kiel: (eo)
  • 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. Logiken, für die das Prinzip der Zweiwertigkeit erfüllt ist, nennt man auch zweiwertige Logiken. Ist das Prinzip der Zweiwertigkeit nicht erfüllt, spricht man von mehrwertiger Logik. (de)
  • En lógica, el principio semántico o ley de bivalencia establece que cada frase declarativa que expresa una proposición (de una teoría que se inspecciona) tiene exactamente un valor de verdad, ya sea cierta o ​​ La forma lógica de satisfacer este principio se llama lógica de dos valores​ o lógica bivalente.​​ En la lógica formal, el principio de bivalencia deviene una propiedad que una semántica puede o no poseer. Sin embargo, no es lo mismo que la ley de medio excluido, aun así, y en semántica puede satisfacer aquella ley sin ser bivalente.​ (es)
  • In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false. A logic satisfying this principle is called a two-valued logic or bivalent logic. In formal logic, the principle of bivalence becomes a property that a semantics may or may not possess. It is not the same as the law of excluded middle, however, and a semantics may satisfy that law without being bivalent. (en)
  • Em lógica, a semântica princípio da bivalência ou lei da bivalência afirma que toda sentença declarativa que expressa uma proposição de uma teoria sob análise possui um único valor de verdade: ou verdadeiro ou falso. Uma lógica que satisfaz esse princípio é chamada lógica bi-valorada ou lógica bivalente. Na lógica formal, o princípio da bivalência torna-se uma propriedade que uma semântica pode ou não possuir. Não é o mesmo que a Lei do terceiro excluído, entretanto, e a semântica pode satisfazer a lei sem ser bivalente. (pt)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software