About: Truth value   Goto Sponge  NotDistinct  Permalink

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

In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

AttributesValues
rdf:type
rdfs:label
  • Truth value
  • قيمة الحقيقة
  • Wahrheitswert
  • Valor de verdad
  • Valeur de vérité
  • Valore di verità
  • 真理値
  • Waarheidswaarde
  • Wartość logiczna
  • Valor de verdade
  • 真值
rdfs:comment
  • In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016) تعرف قيمة الحقيقة في المنطق الرياضي بأنه القيمة التي تشير إلى أن العلاقة المفروضة هي علاقة صحيحة. تعتبر القيمة الحقيقة في المنطق التقليدي هي إما قيمة صحيحة أو خاطئة, أما المنظق الاستدلالي يفتقر إلى مفهوم قيمة الحقيقة لانه يعتمد على الاستدلال. يستخدم هذا المفهوم بشكل واسع في تطبيقات الجبر البولياني وتطبيقاته في الدارات المنطقية وتطبيقات الحاسوب.
  • 真理値 (しんりち、truth value) は、命題論理などの命題が、合っている(真である)か、そうでない(偽である)か、という値である。真と偽の英語のTrueとFalseから、真に対してT、偽に対してFという記号をあてることもある。論理値(ろんりち、logical value)も同じ。真と偽という値をとることから真偽値(しんぎち)ともいうが、非古典論理などで多値論理における「真らしさ」の値も(真と偽以外の値にもなる)真理値である。 コンピュータプログラミング言語などのデータ型では、真理値のような型として真理値型(真偽値型・ブーリアン型、などとも)があるものがある(無いものもある。Rubyでは、trueはTrueClass、falseはFalseClassだが、この2クラスのみを直接の子クラスとする、共通の直接の親クラスBooleanのようなクラスは無い。C言語では(近年の標準では追加されたが)伝統的にはintで代用される)。関係演算子の結果などがブーリアン型であり、さらに論理演算子などで組み合わせることができ、それをif文などの制御構造や、条件演算子などで使うことができる。
  • 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.
  • 在逻辑中,真值(truth value),又稱逻辑值(logical value),是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值。 在经典逻辑中,唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的:模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说,集合{真, 假}形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合,但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中,topos的主客对象分类器接管了真值集合的位置。
  • 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 zählen. Hier wird dann auch neben Wahrheitswerten von Quasiwahrheitswerten, Pseudowahrheitswerten oder Geltungswerten gesprochen.
  • 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 sólo 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 por ejemplo el valor de verdad es cualquier número real en el intervalo cerrado [0,1].
  • Une valeur de vérité est une valeur attribuée à chaque énoncé de la logique au travers de fonctions dont il faudra définir les règles de composition nécessaires pour attribuer des valeurs de vérités à des énoncés complexes en partant des valeurs attribuées à des énoncés simples qui les composent. Le plus souvent, les valeurs des énoncés vrais ou faux sont notées 1 ou 0 respectivement.
  • 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. 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 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.
  • 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 * fałsz – czyli niezgodność zdania ze zbiorem faktów, które w logice matematycznej oznacza się tradycyjnie znakami „1” i „0”. Jednak w rozmaitych systemach logiki nieklasycznej pojawią się też inne wartości. * zdanie nie odnosi się do posiadanych faktów (brak danych o podmiocie zdania) (oznaczany przez znak zbioru pustego ) * zdanie nie jest do końca prawdziwe.
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git21 as of Mar 09 2019


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3230 as of May 1 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2019 OpenLink Software