Truth value (original) (raw)

About DBpedia

V klasické logice se používají dvě pravdivostní hodnoty – pravda a nepravda. Hodnota pravda znamená, že výrok je pravdivý. V algebře tvoří množina (pravda, nepravda) a na ní definované operace Booleovu algebru. V některých kulturách se používá slovo nepravda jako náhrada slova lež. Používá se pro zmírnění tvrzení, že někdo lže. Není to totiž tak útočné. Případně se z tvrzení, že někdo říká nepravdu daleko lépe couvá. Protože to nebylo tvrzení: on lže, ale on říká nepravdu.

Property Value
dbo:abstract En lògica, un valor veritable és un valor que indica en quina mesura una declaració és veritat. En lògica clàssica, els únics valors de veritat possibles són veritable i fals. No obstant això, altres valors són possibles en altres lògiques. Una simple té valors de veritat, falsedat i desconegut, mentre que la lògica difusa i altres formes de lògica polivalent també utilitzen més valors de veritat que simplement veritable i fals. Algebraicament, el conjunt {veritable, fals} forma un àlgebra booleana simple (subdirectora irreductible). Altres àlgebres booleanes es poden utilitzar com a conjunts de valors de veritat a lògiques multi valors reals, mentre que la lògica intuicionista generalitza les àlgebres booleanes a àlgebres de Heyting. En topologia, el de l'espai topològic pren el lloc del conjunt de valors de veritat. Aquesta nomenclatura està potser més d'acord amb els usos que prevalen en matemàtiques que amb els de la filosofia. (ca) V klasické logice se používají dvě pravdivostní hodnoty – pravda a nepravda. Hodnota pravda znamená, že výrok je pravdivý. V algebře tvoří množina (pravda, nepravda) a na ní definované operace Booleovu algebru. V některých kulturách se používá slovo nepravda jako náhrada slova lež. Používá se pro zmírnění tvrzení, že někdo lže. Není to totiž tak útočné. Případně se z tvrzení, že někdo říká nepravdu daleko lépe couvá. Protože to nebylo tvrzení: on lže, ale on říká nepravdu. (cs) تعرف قيمة الصواب أو قيمة الحقيقة في المنطق الرياضي بأنها القيمة التي تشير إلى أن العلاقة المفترضة هي علاقة صحيحة. تعتبر القيمة الحقيقية في قيمة صحيحة وخاطئة في حالتين مختلفتين ومنفصلتين من الحالات الوجود-رياضياتية، أما فيفتقر لمفهوم قيمة الحقيقة لأنه يعتمد على الاستدلال أو البرهنة باستخدام الفينونيات الأولية للمنطقانية. يستخدم هذا المفهوم بشكل أوسع في مجال تطبيقات الجبر البولياني و اشتقاقاته في الدارات المنطقية وتطبيقات الحوسبة . (ar) Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann. In der zweiwertigen klassischen Logik kann eine Aussage nur entweder wahr oder falsch sein, die Menge der Wahrheitswerte {W, F} hat so zwei Elemente. In mehrwertigen Logiken enthält die Wahrheitswertemenge mehr als zwei Elemente, z. B. in einer dreiwertigen Logik oder einer Fuzzy-Logik, die damit zu den nichtklassischen Logiken zählen. Hier wird dann auch neben Wahrheitswerten von Quasiwahrheitswerten, Pseudowahrheitswerten oder Geltungswerten gesprochen. Die Abbildung der Menge von Aussagen einer (meist formalen) Sprache auf die Wahrheitswertemenge wird Wahrheitswertzuordnung genannt und ist eine aussagenlogisch spezifische Bewertungsfunktion. In der klassischen Logik kann auch explizit die Klasse aller wahren Aussagen beziehungsweise die Klasse aller falschen Aussagen definiert werden.Die Abbildung von Wahrheitswerten der (atomaren) Teilaussagen einer zusammengesetzten Aussage auf die Wahrheitswertemenge heißt Wahrheitswertefunktion oder Wahrheitsfunktion. Die Wertetabelle dieser Funktion im mathematischen Sinn wird auch als Wahrheitstafel bezeichnet und häufig dazu verwendet, die Bedeutung wahrheitsfunktionaler Junktoren anzugeben. (de) En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad. En lógica clásica bivalente los valores de verdad solo son dos, usualmente designamos verdadero y falso (y a veces representados por pares como (1,0) o (V,F), etc.). Sin embargo la lógica polivalente el conjunto de valores de verdad incluye otras posibilidades, e incluso en lógica modal la descripción del valor de verdad requiere la noción más compleja de mundos posibles. En lógica difusa el valor de verdad es cualquier número real en el intervalo cerrado [0,1]. El conjunto de valores de verdad de un determinado tipo de lógica es el rango de una interpretación lógica sobre el conjunto de todas las proposiciones posibles (es) Une valeur de vérité est une valeur attribuée à chaque proposition logique. (fr) In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth. (en) 진리값(truth value)은 논리학의 용어로, 어느 명제의 내용이 참인지 거짓인지를 나타내는 값이다. 영어의 True와 False를 따라 T는 참, F는 거짓으로 나타내기도 한다. 진위값, 논리값(logical value)이라고 하기도 한다. 여러 프로그래밍 언어에서 조건이 참인지 거짓인지 표현하는 논리 연산에 사용된다. 참을 1(디지털 신호의 ON), 거짓을 0(디지털 신호의 OFF)으로 처리하는 것을 정논리라고 하고 반대로 처리하는 것을 부논리라고 한다. 모든 조건에 대한 논리 연산의 결과를 표에 나타낸 것을 진리표라고 한다.한편 진릿값(眞理값)이 '명제나 명제 변수가 취하는 값'이라고 정의해본다면 일반적으로 ‘참’과 ‘거짓’의 값을 이르나, 다치 논리(多値論理)에서는 그 외의 값도 상정하며 퍼지 논리학에서는 무한한 수로 다루기도 한다. (ko) 真理値（しんりち、英: truth value）は、命題論理などの命題の真偽を示す値である。英語のTrueとFalseから、真に対してT、偽に対してFという記号をあてることもある。論理値 (logical value) も同じ。排中律に則った古典論理（2値論理）では真か偽かの二値（バイナリー）をとることから真偽値ともいうが、非古典論理などで多値論理における「真らしさ」の値も（真と偽以外の値にもなる）真理値である。 コンピュータプログラミング言語などのデータ型では、真理値のような型として真理値型（真偽値型、ブーリアン型などとも）があるものがある。関係演算子の結果などがブーリアン型であり、さらに論理演算子などで組み合わせることができ、それをif文などの制御構造や、条件演算子などで使用できる。 (ja) In de wiskunde en de logica is de waarheidswaarde van een propositie de waarde die aangeeft in welke mate de propositie waar is. In de klassieke logica zijn waar en onwaar de enige mogelijke waarheidswaarden van een propositie (ook bekend als de wet van de uitgesloten derde). In andere logica's, zoals in fuzzy logic en andere meerwaardige logica's, zijn er meer waarheidswaarden. De verzameling { waar, onwaar } vormt een booleaanse algebra met twee elementen. Andere algebra's kunnen een andere verzameling waarheidswaarden gebruiken. De intuïtionistische logica maakt bijvoorbeeld gebruik van . (nl) Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów. W logice klasycznej każde zdanie może przyjąć tylko jedną z dwóch wartości logicznych: * prawda – czyli zgodność zdania ze zbiorem faktów, oznaczana tradycyjnie znakiem „1”, * fałsz – czyli niezgodność zdania ze zbiorem faktów, oznaczana tradycyjnie znakiem „0”. Jednak w rozmaitych systemach logiki nieklasycznej pojawią się też inne wartości. W logice rozmytej (Fuzzy Logic) będącej próbą sformalizowania matematycznego rozumowania indukcyjnego zamiast prostego „prawda i fałsz” występuje następujący zbiór wartości zdań określających stosunek podmiotu zdania do zbioru faktów: * zdanie nie odnosi się do posiadanych faktów (brak danych o podmiocie zdania) (oznaczany przez znak zbioru pustego ), * podmiot zdania odnosi się do posiadanych faktów, ale nie można określić czy jest z nimi zgodny (zdanie niekonkluzywne) (oznaczany przez ), * zdanie jest zgodne ze zbiorem faktów (tradycyjna prawda) (oznaczana przez ), * zdanie nie jest zgodne ze zbiorem faktów (tradycyjny fałsz) (oznaczane przez ), * zdanie nie jest do końca prawdziwe. W rozmaitych innych wielowartościowych systemach logicznych przyjmuje się zwykle szereg wartości pośrednich między fałszem i prawdą będących symbolicznym oznaczeniem rozmaitych stopni niepewności. Logiki wielowartościowe oparte na zbiorach takich wartości nie różnią się jednak istotnie od logiki klasycznej (oprócz stopnia ich skomplikowania). Najbardziej złożone podejście do wartości logicznej prezentuje logika modalna, w której wartość logiczna zdania nie jest wartością stałą, lecz zmienia się w zależności od tego, jaki jest stosunek podmiotu zdania do zbioru faktów. (pl) In logica matematica, un valore di verità (o valore logico) è un valore che stabilisce il limite entro cui una proposizione risulta vera. In logica classica, gli unici possibili valori di verità sono vero e falso, e ogni proposizione assume necessariamente almeno uno dei due valori e nessun altro (un valore e uno solo), per denotare i quali si usano le lettere maiuscole V ed F, ovvero i due numeri 1 e 0, rispettivamente. Algebricamente, l'insieme costituisce un'algebra booleana a due stati. Alternativamente, si possono adoperare altri tipi di algebre come insiemi di valori di verità in logiche non classiche: ad esempio, la logica intuizionista sfrutta un'algebra di Heyting. Ciò nonostante, altri valori sono possibili in altre logiche: nella logica fuzzy e nella logica polivalente sono utilizzati altri valori di verità che indicano semplicemente vero e falso. In teoria dei topos, il di un topos prende il posto dell'insieme dei valori di verità. (it) Ett sanningsvärde är ett värde tilldelat ett påstående grundat på huruvida detta är uppfyllt eller ej. (sv) Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação. Este valor pode ser verdadeiro ou falso. (pt) Значення істинності (логічне значення) — в логіці та математиці, значення, що показує відношення висловлювання до істини. Тобто міру істинності висловлювання. В класичній логіці логічними значеннями є тільки істина (true) та хиба (false). Багатозначні логіки мають більше ніж два логічних значення, найчастіше вони представляються раціональними чи дійсними числами з інтервалу [0, 1]. (uk) 在逻辑中，真值（truth value），又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值。 在经典逻辑中，唯一可能的真值是真和。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说，集合真、假形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中，topos的接管了真值集合的位置。 (zh)
dbo:wikiPageID 161711 (xsd:integer)
dbo:wikiPageLength 6838 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1111871243 (xsd:integer)
dbo:wikiPageWikiLink dbr:Bayesian_probability dbr:Boolean_data_type dbr:Algebraic_semantics_(mathematical_logic) dbc:Value_(ethics) dbr:Permutation dbr:De_Morgan's_laws dbr:Degree_of_truth dbr:Intuitionistic_logic dbr:Intuitionistic_type_theory dbr:Mathematics dbr:Negation dbr:Null_pointer dbr:Empty_string dbr:Equality_(mathematics) dbr:Logic dbr:Logical_conjunction dbr:Zero dbr:Proposition dbr:Total_order dbr:Truth dbr:Truth_function dbr:Truth_table dbr:Type_theory dbr:Fuzzy_logic dbr:Logical_biconditional dbr:Logical_truth dbr:Agnosticism dbr:False_(logic) dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:Paradox dbr:False_dilemma dbr:Global_element dbr:Logical_connective dbr:Subobject_classifier dbr:Dual_(mathematics) dbr:Logical_disjunction dbr:Proof_theory dbr:Relevance_logic dbr:Heyting_algebra dbc:Propositions dbc:Epistemology dbc:Concepts_in_logic dbc:Truth dbr:Bijection dbr:Topos dbr:Boolean_algebra_(structure) dbr:Boolean_domain dbr:Circular_reasoning dbr:Classical_logic dbr:Constructivism_(mathematics) dbr:Unit_interval dbr:Multi-valued_logic dbr:Slingshot_argument dbr:Valuation_(logic) dbr:Variable_(computer_science) dbr:Verisimilitude dbr:Expression_(computer_science) dbr:Propositional_variable dbr:Semantic_theory_of_truth dbr:Supervaluationism dbr:Truth-value_semantics dbr:Two-valued_logic dbr:Logical_system dbr:Falsum dbr:Necessarily_true dbr:Verum dbr:Degrees_of_truth
dbp:wikiPageUsesTemplate dbt:Sectionlink dbt:Lead_too_short dbt:Main dbt:Math dbt:More_citations_needed dbt:Multiple_issues dbt:Mvar dbt:Portal dbt:Redirect dbt:Reflist dbt:Short_description dbt:Slink dbt:Cite_SEP dbt:Closed-closed dbt:Mathematical_logic dbt:Logical_truth
dcterms:subject dbc:Value_(ethics) dbc:Propositions dbc:Epistemology dbc:Concepts_in_logic dbc:Truth
gold:hypernym dbr:Value
rdf:type dbo:Company yago:WikicatConceptsInLogic yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:Message106598915 yago:Proposition106750804 yago:PsychologicalFeature100023100 yago:Statement106722453 yago:WikicatPropositions
rdfs:comment V klasické logice se používají dvě pravdivostní hodnoty – pravda a nepravda. Hodnota pravda znamená, že výrok je pravdivý. V algebře tvoří množina (pravda, nepravda) a na ní definované operace Booleovu algebru. V některých kulturách se používá slovo nepravda jako náhrada slova lež. Používá se pro zmírnění tvrzení, že někdo lže. Není to totiž tak útočné. Případně se z tvrzení, že někdo říká nepravdu daleko lépe couvá. Protože to nebylo tvrzení: on lže, ale on říká nepravdu. (cs) تعرف قيمة الصواب أو قيمة الحقيقة في المنطق الرياضي بأنها القيمة التي تشير إلى أن العلاقة المفترضة هي علاقة صحيحة. تعتبر القيمة الحقيقية في قيمة صحيحة وخاطئة في حالتين مختلفتين ومنفصلتين من الحالات الوجود-رياضياتية، أما فيفتقر لمفهوم قيمة الحقيقة لأنه يعتمد على الاستدلال أو البرهنة باستخدام الفينونيات الأولية للمنطقانية. يستخدم هذا المفهوم بشكل أوسع في مجال تطبيقات الجبر البولياني و اشتقاقاته في الدارات المنطقية وتطبيقات الحوسبة . (ar) Une valeur de vérité est une valeur attribuée à chaque proposition logique. (fr) In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth. (en) 진리값(truth value)은 논리학의 용어로, 어느 명제의 내용이 참인지 거짓인지를 나타내는 값이다. 영어의 True와 False를 따라 T는 참, F는 거짓으로 나타내기도 한다. 진위값, 논리값(logical value)이라고 하기도 한다. 여러 프로그래밍 언어에서 조건이 참인지 거짓인지 표현하는 논리 연산에 사용된다. 참을 1(디지털 신호의 ON), 거짓을 0(디지털 신호의 OFF)으로 처리하는 것을 정논리라고 하고 반대로 처리하는 것을 부논리라고 한다. 모든 조건에 대한 논리 연산의 결과를 표에 나타낸 것을 진리표라고 한다.한편 진릿값(眞理값)이 '명제나 명제 변수가 취하는 값'이라고 정의해본다면 일반적으로 ‘참’과 ‘거짓’의 값을 이르나, 다치 논리(多値論理)에서는 그 외의 값도 상정하며 퍼지 논리학에서는 무한한 수로 다루기도 한다. (ko) 真理値（しんりち、英: truth value）は、命題論理などの命題の真偽を示す値である。英語のTrueとFalseから、真に対してT、偽に対してFという記号をあてることもある。論理値 (logical value) も同じ。排中律に則った古典論理（2値論理）では真か偽かの二値（バイナリー）をとることから真偽値ともいうが、非古典論理などで多値論理における「真らしさ」の値も（真と偽以外の値にもなる）真理値である。 コンピュータプログラミング言語などのデータ型では、真理値のような型として真理値型（真偽値型、ブーリアン型などとも）があるものがある。関係演算子の結果などがブーリアン型であり、さらに論理演算子などで組み合わせることができ、それをif文などの制御構造や、条件演算子などで使用できる。 (ja) In de wiskunde en de logica is de waarheidswaarde van een propositie de waarde die aangeeft in welke mate de propositie waar is. In de klassieke logica zijn waar en onwaar de enige mogelijke waarheidswaarden van een propositie (ook bekend als de wet van de uitgesloten derde). In andere logica's, zoals in fuzzy logic en andere meerwaardige logica's, zijn er meer waarheidswaarden. De verzameling { waar, onwaar } vormt een booleaanse algebra met twee elementen. Andere algebra's kunnen een andere verzameling waarheidswaarden gebruiken. De intuïtionistische logica maakt bijvoorbeeld gebruik van . (nl) Ett sanningsvärde är ett värde tilldelat ett påstående grundat på huruvida detta är uppfyllt eller ej. (sv) Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação. Este valor pode ser verdadeiro ou falso. (pt) Значення істинності (логічне значення) — в логіці та математиці, значення, що показує відношення висловлювання до істини. Тобто міру істинності висловлювання. В класичній логіці логічними значеннями є тільки істина (true) та хиба (false). Багатозначні логіки мають більше ніж два логічних значення, найчастіше вони представляються раціональними чи дійсними числами з інтервалу [0, 1]. (uk) 在逻辑中，真值（truth value），又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值。 在经典逻辑中，唯一可能的真值是真和。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说，集合真、假形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中，topos的接管了真值集合的位置。 (zh) En lògica, un valor veritable és un valor que indica en quina mesura una declaració és veritat. En lògica clàssica, els únics valors de veritat possibles són veritable i fals. No obstant això, altres valors són possibles en altres lògiques. Una simple té valors de veritat, falsedat i desconegut, mentre que la lògica difusa i altres formes de lògica polivalent també utilitzen més valors de veritat que simplement veritable i fals. En topologia, el de l'espai topològic pren el lloc del conjunt de valors de veritat. (ca) Ein Wahrheitswert ist in Logik und Mathematik ein logischer Wert, den eine Aussage in Bezug auf Wahrheit annehmen kann. In der zweiwertigen klassischen Logik kann eine Aussage nur entweder wahr oder falsch sein, die Menge der Wahrheitswerte {W, F} hat so zwei Elemente. In mehrwertigen Logiken enthält die Wahrheitswertemenge mehr als zwei Elemente, z. B. in einer dreiwertigen Logik oder einer Fuzzy-Logik, die damit zu den nichtklassischen Logiken zählen. Hier wird dann auch neben Wahrheitswerten von Quasiwahrheitswerten, Pseudowahrheitswerten oder Geltungswerten gesprochen. (de) En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad. En lógica clásica bivalente los valores de verdad solo son dos, usualmente designamos verdadero y falso (y a veces representados por pares como (1,0) o (V,F), etc.). Sin embargo la lógica polivalente el conjunto de valores de verdad incluye otras posibilidades, e incluso en lógica modal la descripción del valor de verdad requiere la noción más compleja de mundos posibles. En lógica difusa el valor de verdad es cualquier número real en el intervalo cerrado [0,1]. (es) In logica matematica, un valore di verità (o valore logico) è un valore che stabilisce il limite entro cui una proposizione risulta vera. In logica classica, gli unici possibili valori di verità sono vero e falso, e ogni proposizione assume necessariamente almeno uno dei due valori e nessun altro (un valore e uno solo), per denotare i quali si usano le lettere maiuscole V ed F, ovvero i due numeri 1 e 0, rispettivamente. In teoria dei topos, il di un topos prende il posto dell'insieme dei valori di verità. (it) Wartość logiczna – podstawowa cecha zdania określająca jego stosunek do faktów. W logice klasycznej każde zdanie może przyjąć tylko jedną z dwóch wartości logicznych: * prawda – czyli zgodność zdania ze zbiorem faktów, oznaczana tradycyjnie znakiem „1”, * fałsz – czyli niezgodność zdania ze zbiorem faktów, oznaczana tradycyjnie znakiem „0”. Jednak w rozmaitych systemach logiki nieklasycznej pojawią się też inne wartości. (pl)
rdfs:label قيمة صواب (ar) Valor veritable (ca) Pravdivostní hodnota (cs) Wahrheitswert (de) Valor de verdad (es) Valore di verità (it) Valeur de vérité (fr) 진릿값 (ko) Waarheidswaarde (nl) 真理値 (ja) Wartość logiczna (pl) Valor de verdade (pt) Truth value (en) Значение истинности (ru) Sanningsvärde (sv) Значення істинності (uk) 真值 (zh)
owl:sameAs freebase:Truth value yago-res:Truth value wikidata:Truth value dbpedia-ar:Truth value dbpedia-ca:Truth value http://ckb.dbpedia.org/resource/بایەخی_دروستی dbpedia-cs:Truth value dbpedia-da:Truth value dbpedia-de:Truth value dbpedia-es:Truth value dbpedia-et:Truth value dbpedia-fa:Truth value dbpedia-fi:Truth value dbpedia-fr:Truth value dbpedia-he:Truth value dbpedia-it:Truth value dbpedia-ja:Truth value dbpedia-ko:Truth value dbpedia-mk:Truth value dbpedia-nl:Truth value dbpedia-pl:Truth value dbpedia-pt:Truth value dbpedia-ro:Truth value dbpedia-ru:Truth value dbpedia-simple:Truth value dbpedia-sk:Truth value dbpedia-sr:Truth value dbpedia-sv:Truth value dbpedia-th:Truth value http://tl.dbpedia.org/resource/Halagang_lohikal dbpedia-tr:Truth value dbpedia-uk:Truth value dbpedia-zh:Truth value https://global.dbpedia.org/id/nUfz
prov:wasDerivedFrom wikipedia-en:Truth_value?oldid=1111871243&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Truth_value
is dbo:wikiPageDisambiguates of dbr:Truth_(disambiguation)
is dbo:wikiPageRedirects of dbr:Logical_value dbr:Truth_values dbr:Logical_values dbr:True_and_false dbr:True_or_false dbr:Truth-value dbr:Truth-values dbr:Truth_(logics)
is dbo:wikiPageWikiLink of dbr:Bayesian_probability dbr:Primitive_recursive_function dbr:ProbLog dbr:Probabilistic_logic_network dbr:Processor_register dbr:Prolog dbr:Propositional_calculus dbr:Propositional_formula dbr:Saul_Kripke dbr:Entscheidungsproblem dbr:New_Foundations dbr:Philosophy_of_mind dbr:Metalogic dbr:Metaphor_in_philosophy dbr:Semantics_of_Business_Vocabulary_and_Business_Rules dbr:Reformed_epistemology dbr:Semigroup_with_two_elements dbr:Principle_of_bivalence dbr:Belief dbr:Ben_Goertzel dbr:Bernard_Bolzano dbr:Binding_of_Isaac dbr:Boolean_data_type dbr:Algorithmic_Lovász_local_lemma dbr:Appeal_to_consequences dbr:Argumentum_ad_baculum dbr:Hypermodernity dbr:Cyclic_negation dbr:DPLL_algorithm dbr:Validity_(logic) dbr:Value_(mathematics) dbr:Definite_description dbr:Degree_of_truth dbr:Duhem–Quine_thesis dbr:Dummy_variable_(statistics) dbr:Independent_set_(graph_theory) dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:Inductivism dbr:Intensional_logic dbr:Interactions_of_actors_theory dbr:Interpretation_(logic) dbr:Intuitionistic_logic dbr:Invariances dbr:Jaina_seven-valued_logic dbr:Level_of_measurement dbr:Liar_paradox dbr:List_of_philosophical_concepts dbr:No–no_paradox dbr:Tarski's_axioms dbr:Pragmatic_mapping dbr:0 dbr:Colossus_computer dbr:Computer dbr:Confession_(law) dbr:Constructible_universe dbr:An_Introduction_to_the_Philosophy_of_Mathematics dbr:Mathematical_logic dbr:Median_graph dbr:SQL dbr:SQL_syntax dbr:Generalized_quantifier dbr:Negation dbr:Objectivity_(philosophy) dbr:Clique_problem dbr:Equality_(mathematics) dbr:Equals_sign dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_computer_science dbr:Glossary_of_mathematical_symbols dbr:God dbr:Constructive_set_theory dbr:Contingency_(philosophy) dbr:Contraposition dbr:Conversation_theory dbr:Converse_nonimplication dbr:Cook–Levin_theorem dbr:Criteria_of_truth dbr:Theory_of_descriptions dbr:Open_formula dbr:Logic dbr:Logical_positivism dbr:Logical_value dbr:Common_knowledge_(logic) dbr:Complexity_of_constraint_satisfaction dbr:Emotivism dbr:Function_and_Concept dbr:Functional_completeness dbr:Phenomenology_(sociology) dbr:Pinocchio_paradox dbr:Proposition dbr:Structuralism_(philosophy_of_mathematics) dbr:Syntax_(logic) dbr:Up_tack dbr:Many-valued_logic dbr:Material_nonimplication dbr:C._I._Lewis dbr:Truth_function dbr:Truth_table dbr:Truth_values dbr:Turing's_proof dbr:Data_strobe_encoding dbr:W._Hugh_Woodin dbr:Waiting_for_Godot dbr:Fuzzy_control_system dbr:Fuzzy_logic dbr:Game_semantics dbr:Gödel_logic dbr:Is_Logic_Empirical? dbr:Law_of_excluded_middle dbr:Laws_of_Form dbr:Linearity dbr:Logic_alphabet dbr:Logical_hexagon dbr:Logical_truth dbr:Paraconsistent_logic dbr:Three-valued_logic dbr:4 dbr:Alfred_Tarski dbr:Algebra dbr:Algebraic_logic dbr:Edmund_Husserl dbr:Ethics dbr:False_(logic) dbr:Film_(film) dbr:First-order_logic dbr:Forcing_(mathematics) dbr:Barber_paradox dbr:Church_encoding dbr:Differential_Manchester_encoding dbr:Discrete_mathematics dbr:Failure_to_refer dbr:False_pleasure dbr:False_premise dbr:Formal_language dbr:Formal_semantics_(natural_language) dbr:Formula_game dbr:Global_element dbr:History_of_mathematical_notation dbr:Trivialism dbr:Logical_connective dbr:List_of_Latin_phrases_(S) dbr:Logical_disjunction dbr:Logical_equivalence dbr:Self-evidence dbr:Predicate_functor_logic dbr:Predicate_(mathematical_logic) dbr:Presupposition dbr:Quine's_paradox dbr:Relational_model dbr:Sense_and_reference dbr:The_Primordial_Tradition dbr:Gödel's_incompleteness_theorems dbr:Heyting_algebra dbr:Atomic_sentence dbr:Involution_(mathematics) dbr:Jean_Gallier dbr:Tautology_(logic) dbr:The_Drew_Barrymore_Show dbr:The_Foundations_of_Arithmetic dbr:Łukasiewicz_logic dbr:Aaron_Lynch_(writer) dbr:Absoluteness dbr:John_Brown_(essayist) dbr:John_Maynard_Keynes dbr:Lambda_calculus dbr:Language dbr:Binary_data dbr:Binary_decision dbr:Bit dbr:Sydor_Rey dbr:Co-NP-complete dbr:Cobweb_model dbr:Cognitivism_(ethics) dbr:Tee_(symbol) dbr:Transfer_principle dbr:True dbr:Truth_(disambiguation) dbr:Yale_shooting_problem dbr:Redundancy_theory_of_truth dbr:Verificationism dbr:Boole's_syllogistic dbr:Boolean-valued_function dbr:Boolean-valued_model dbr:Boolean_algebra dbr:Boolean_algebra_(structure) dbr:Boolean_algebras_canonically_defined dbr:Boolean_domain dbr:Bullshit dbr:Buridan's_bridge dbr:Philosophical_analysis dbr:Popper_and_After dbr:Sociology_of_knowledge dbr:Ground_expression dbr:Hume's_fork dbr:Knowledge dbr:Method_of_analytic_tableaux dbr:Necessity_and_sufficiency dbr:Open-world_assumption dbr:OpenCog dbr:Operation_(mathematics) dbr:Original_proof_of_Gödel's_completeness_theorem dbr:Raven_paradox dbr:Situation_calculus dbr:Π-calculus dbr:Unit_interval dbr:Magic_(programming) dbr:Markov_logic_network dbr:Monoidal_t-norm_logic dbr:Peter_de_Rivo dbr:Sentence_(mathematical_logic) dbr:Sorites_paradox dbr:Undecidable_problem dbr:Vagueness dbr:Valuation_(logic) dbr:NetWeaver_Developer dbr:New_Cybernetics_(Gordon_Pask) dbr:Logical_values dbr:Snowball_(programming_language) dbr:Eternal_statement dbr:Experix dbr:Explicature dbr:Expressivism dbr:Extension_(semantics) dbr:Fact dbr:IP_(complexity) dbr:Obversion dbr:Randolph_diagram dbr:Philosophy_and_literature dbr:Probabilistic_logic dbr:SAT_Subject_Test_in_Chemistry dbr:Event_calculus dbr:Evidentialism dbr:Existence_of_God dbr:N400_(neuroscience) dbr:NP-hardness dbr:Nacht_und_Träume_(play) dbr:Relativism dbr:Molinism dbr:Synonym_ring dbr:Verbal_reasoning dbr:Philosophy_of_language dbr:Semantic_neural_network dbr:T-schema dbr:Vector_logic dbr:Supervaluationism dbr:T-norm_fuzzy_logics dbr:Non-classical_logic dbr:Non-cognitivism dbr:Stable_model_semantics dbr:Second-order_propositional_logic dbr:Tarski's_undefinability_theorem dbr:Outline_of_logic dbr:Parallel_Line_Internet_Protocol dbr:True_quantified_Boolean_formula dbr:Vagueness_and_Degrees_of_Truth dbr:Symbol_rate dbr:Truthy dbr:True_and_false dbr:True_or_false dbr:Truth-value dbr:Truth-values dbr:Truth_(logics)
is foaf:primaryTopic of wikipedia-en:Truth_value