Principle of bivalence
http://dbpedia.org/resource/Principle_of_bivalence an entity of type: Thing
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:
rdf:langString
المنطق البولياني هو نظام كامل . أخذ تسميته من العالم جورج بول الذي قام بتعريف النظام الجبري للمنطق في منتصف القرن التاسع عشر. للمنطق البولياني العديد من التطبيقات في الإلكترونيات، أجهزة الحاسوب والبرامج الحاسوبية.
rdf:langString
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.
rdf:langString
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}.
rdf:langString
Законы деления (дихотомии) логики созданы для классификации и систематизации разных понятий. Основные принципы деления:
* деление должно быть соразмерным;
* деление на каждом его этапе должно производиться по одному основанию;
* члены деления должны исключать друг друга, то есть не должны пересекаться;
* деление не должно быть скачкообразным. Наиболее типичными ошибками при делении объёма понятия являютсяследующие:
* неполное деление понятия;
* слишком обширное деление;
* скачок в делении — логическая ошибка, вызванная нарушением правила «деление должно быть непрерывным».
rdf:langString
在逻辑中，二值原理（英語：Principle of bivalence）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（英語：two-valued logic，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见。
rdf:langString
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:
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
rdf:langString
منطق بولياني
rdf:langString
Lògica binària
rdf:langString
Prinzip der Zweiwertigkeit
rdf:langString
Principo de duvalento
rdf:langString
Principio de bivalencia
rdf:langString
Principe de bivalence
rdf:langString
Principio di bivalenza
rdf:langString
Principle of bivalence
rdf:langString
Princípio da bivalência
rdf:langString
Законы деления
rdf:langString
二值原理
rdf:langString
Принцип бівалентності
xsd:integer
24097
xsd:integer
1098329138
rdf:langString
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:
rdf:langString
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. Das Prinzip der Zweiwertigkeit ist zu unterscheiden von dem auch innerhalb mehrerer mehrwertigen Logiken gültigen Satz vom ausgeschlossenen Dritten, der besagt, dass sich P ∨ ¬P innerhalb des logischen Systems bzw. seines Kalküls syntaktisch ableiten lässt.
rdf:langString
المنطق البولياني هو نظام كامل . أخذ تسميته من العالم جورج بول الذي قام بتعريف النظام الجبري للمنطق في منتصف القرن التاسع عشر. للمنطق البولياني العديد من التطبيقات في الإلكترونيات، أجهزة الحاسوب والبرامج الحاسوبية.
rdf:langString
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: formale ∀P∀e(e ∊ P ⋁ e ∉ P)legeble por ĉiu propoziciaro kaj ero okazas ke ero elhavas propoziciaron aŭ ero elhavas propoziciaron Tiel montranta similecon sed tamen malsamanta plejparte de kvantigita arajn elementojn. La principo de duvalento estas studita en filozofia logiko trakti la demandon de kiu natura-lingvaj eldiroj havas racio-difinita vero-valoron. Frazoj kiuj priskribas eventojn antaŭe iliaj okazadoj kaj frazoj kiuj ŝajnas malferma al interpreto, grave malfacilan traktas por filozofoj kiu tenas ke la principo de duvalenta aplikas al ĉiuj deklara natura-lingvaj eldiroj. Multaj-valoritaj logikoj formaligas ideojn ke realisma karakterizado de la nocio de sekvo postulas la allasadon de premisoj kiu, ŝuldanta al svago, tempa aŭ kvantuma nedeterminanto aŭ referenco-malsukceso, ne povas esti konsiderita kiel klasika duvalento. Referencaj malsukcesoj ankaŭ povas esti traktita kun liberaj logikoj.
rdf:langString
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. El principio de bivalencia se estudia en lógica filosófica para abordar la cuestión de qué estados del lenguaje natural tienen un valor de verdad bien definido. Frases las cuales pronostican acontecimientos en el futuro, y frases que parecen abiertas a interpretación, es particularmente difícil para filósofos quiénes sostienen que la lógica binaria se aplica a todas las declaraciones de lengua natural declarativas. La Lógica plurivalente formalizó la idea de que una caracterización realista de la idea de consecuencia requiere el admisión de premisas qué, a causa de la vaguedad, indeterminación temporal o cuántica, o en referencia al fallo, no pueden ser considerados bivalentes en el sentido clásico. Los errores de referencia también pueden ser abordados por lógicas libres.
rdf:langString
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.
rdf:langString
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. The principle of bivalence is studied in philosophical logic to address the question of which natural-language statements have a well-defined truth value. Sentences that predict events in the future, and sentences that seem open to interpretation, are particularly difficult for philosophers who hold that the principle of bivalence applies to all declarative natural-language statements. Many-valued logics formalize ideas that a realistic characterization of the notion of consequence requires the admissibility of premises that, owing to vagueness, temporal or quantum indeterminacy, or reference-failure, cannot be considered classically bivalent. Reference failures can also be addressed by free logics.
rdf:langString
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}.
rdf:langString
Законы деления (дихотомии) логики созданы для классификации и систематизации разных понятий. Основные принципы деления:
* деление должно быть соразмерным;
* деление на каждом его этапе должно производиться по одному основанию;
* члены деления должны исключать друг друга, то есть не должны пересекаться;
* деление не должно быть скачкообразным. Наиболее типичными ошибками при делении объёма понятия являютсяследующие:
* неполное деление понятия;
* слишком обширное деление;
* скачок в делении — логическая ошибка, вызванная нарушением правила «деление должно быть непрерывным».
rdf:langString
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. O princípio da bivalência é estudado na lógica filosófica para abordar a questão de quais declarações da linguagem natural tem um valor verdade bem definido. Sentenças que predizem eventos futuros, e sentenças que parecem abertas a interpretação, são particularmente difíceis para filósofos que defendem que o princípio da bivalência aplica-se para todas as declarações da linguagem natural declarativa. A lógica polivalente formaliza ideias de que uma caracterização realista da noção de consequência requer a admissibilidade das premissas que, devido a imprecisão, indeterminação temporal ou quântica, ou falha de referência, não podem ser consideradas classicamente bivalentes. Falhas de referência também podem ser abordadas pela lógica livre.
rdf:langString
在逻辑中，二值原理（英語：Principle of bivalence）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（英語：two-valued logic，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见。
xsd:nonNegativeInteger
17778