This HTML5 document contains 157 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-ca	http://ca.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
n29	https://web.archive.org/web/20110722063257/http:/segr-did2.fmag.unict.it/~polphil/PolPhil/Lukas/
dbpedia-eo	http://eo.dbpedia.org/resource/
n8	https://global.dbpedia.org/id/
dbpedia-he	http://he.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
dbpedia-ru	http://ru.dbpedia.org/resource/
dbt	http://dbpedia.org/resource/Template:
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-is	http://is.dbpedia.org/resource/
n32	http://www.unine.ch/unilog/jyb/
n31	http://ckb.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-ar	http://ar.dbpedia.org/resource/
owl	http://www.w3.org/2002/07/owl#
dbpedia-it	http://it.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
n30	http://d-nb.info/gnd/

Statements

Subject Item

dbr:Principle_of_bivalence

rdf:type

yago:Content105809192 yago:Idea105833840 yago:PsychologicalFeature100023100 yago:Abstraction100002137 yago:WikicatPrinciples owl:Thing yago:Cognition100023271 yago:Principle105913538 yago:Generalization105913275

rdfs:label

Princípio da bivalência Prinzip der Zweiwertigkeit Principio de bivalencia Principo de duvalento Principio di bivalenza 二值原理 Lògica binària Principle of bivalence Принцип бівалентності منطق بولياني Principe de bivalence Законы деления

rdfs:comment

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. Законы деления (дихотомии) логики созданы для классификации и систематизации разных понятий. Основные принципы деления: * деление должно быть соразмерным; * деление на каждом его этапе должно производиться по одному основанию; * члены деления должны исключать друг друга, то есть не должны пересекаться; * деление не должно быть скачкообразным. Наиболее типичными ошибками при делении объёма понятия являютсяследующие: * неполное деление понятия; * слишком обширное деление; * скачок в делении — логическая ошибка, вызванная нарушением правила «деление должно быть непрерывным». 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. 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: المنطق البولياني هو نظام كامل . أخذ تسميته من العالم جورج بول الذي قام بتعريف النظام الجبري للمنطق في منتصف القرن التاسع عشر. للمنطق البولياني العديد من التطبيقات في الإلكترونيات، أجهزة الحاسوب والبرامج الحاسوبية. 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}. 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. 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. 在逻辑中，二值原理（英語：Principle of bivalence）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（英語：two-valued logic，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见。 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.​ 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:

dcterms:subject

dbc:2_(number) dbc:Logic dbc:Principles dbc:Semantics

dbo:wikiPageID

24097

dbo:wikiPageRevisionID

1098329138

dbo:wikiPageWikiLink

dbr:Dualism_(philosophy_of_mind) dbr:Truth-value_link dbc:Semantics dbr:Chrysippus dbr:Jan_Łukasiewicz dbr:Quantum_logic dbr:Boolean-valued_semantics dbr:Syntactic dbr:Law_of_non-contradiction dbr:Philosophy_of_logic dbr:Intended_interpretation dbr:Classical_logic dbc:2_(number) dbr:Logical_disjunction dbr:Natural_language dbr:Fuzzy_logic dbr:Logical_equality dbc:Principles dbr:False_(logic) dbr:Philosophical_logic dbc:Logic dbr:Universal_quantifier dbr:Relativism dbr:Infimum dbr:Supervaluationism dbr:Logic dbr:True_and_false dbr:Many-valued_logic dbr:Łukasiewicz_logic dbr:Existential_quantifier dbr:Aristotle dbr:Free_logic dbr:Failure_to_refer dbr:Boolean-valued_model dbr:Degrees_of_truth dbr:Philosophy_of_time dbr:Rhizome_(philosophy) dbr:False_dilemma dbr:Supremum dbr:Arend_Heyting dbr:Predicate_calculus dbr:De_Interpretatione dbr:Boolean_algebra dbr:Truthmaker dbr:Three-valued_logic dbr:Multi-valued_logic dbr:Truth_value dbr:Proposition dbr:Truthbearer dbr:Propositional_logic dbr:Inclusive_or dbr:Intuitionistic_logic dbr:Anekantavada dbr:Logic_of_Paradox dbr:Formal_semantics_(logic) dbr:Two-element_Boolean_algebra dbr:Jean-Yves_Béziau dbr:Truth dbr:Exclusive_disjunction dbr:Extensionality dbr:Complete_Boolean_algebra dbr:Entailment dbr:And_(logic) dbr:Temporal_logic dbr:L._E._J._Brouwer dbr:Logical_value dbr:Perspectivism dbr:Stoicism dbr:Quantum_indeterminacy dbr:Law_of_excluded_middle dbr:Sorites_paradox

dbo:wikiPageExternalLink

n29:LukasBival.pdf n32:new%20principle%20of%20bivalence.pdf

owl:sameAs

n8:212jW dbpedia-zh:二值原理 freebase:m.06063 dbpedia-he:לוגיקה_בוליאנית dbpedia-fr:Principe_de_bivalence dbpedia-it:Principio_di_bivalenza dbpedia-uk:Принцип_бівалентності dbpedia-es:Principio_de_bivalencia dbpedia-ca:Lògica_binària dbpedia-ru:Законы_деления dbpedia-is:Tvígildislögmálið yago-res:Principle_of_bivalence wikidata:Q2110857 dbpedia-pt:Princípio_da_bivalência dbpedia-de:Prinzip_der_Zweiwertigkeit n30:1112753966 n31:بنەواشەی_دووبایەخیبوون dbpedia-eo:Principo_de_duvalento dbpedia-ar:منطق_بولياني

dbp:wikiPageUsesTemplate

dbt:Main dbt:Reflist dbt:Quote dbt:Portal dbt:Columns-list dbt:Authority_control dbt:Use_dmy_dates dbt:Cite_journal dbt:Cite_SEP dbt:Redirect dbt:Short_description dbt:Citation_needed dbt:Classical_logic

dbo:abstract

在逻辑中，二值原理（英語：Principle of bivalence）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（英語：two-valued logic，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见。 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. المنطق البولياني هو نظام كامل . أخذ تسميته من العالم جورج بول الذي قام بتعريف النظام الجبري للمنطق في منتصف القرن التاسع عشر. للمنطق البولياني العديد من التطبيقات في الإلكترونيات، أجهزة الحاسوب والبرامج الحاسوبية. 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. 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.​ 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: 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. Законы деления (дихотомии) логики созданы для классификации и систематизации разных понятий. Основные принципы деления: * деление должно быть соразмерным; * деление на каждом его этапе должно производиться по одному основанию; * члены деления должны исключать друг друга, то есть не должны пересекаться; * деление не должно быть скачкообразным. Наиболее типичными ошибками при делении объёма понятия являютсяследующие: * неполное деление понятия; * слишком обширное деление; * скачок в делении — логическая ошибка, вызванная нарушением правила «деление должно быть непрерывным». 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. 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. 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}.

prov:wasDerivedFrom

wikipedia-en:Principle_of_bivalence?oldid=1098329138&ns=0

dbo:wikiPageLength

17778

foaf:isPrimaryTopicOf

wikipedia-en:Principle_of_bivalence