About: Truth table   Goto Sponge  NotDistinct  Permalink

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

A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables (Enderton, 2001). In particular, truth tables can be used to show whether a propositional expression is true for all legitimate input values, that is, logically valid.

AttributesValues
rdf:type
rdfs:label
  • جدول الحقيقة
  • Wahrheitstabelle
  • Tabla de verdad
  • Table de vérité
  • Tabella della verità
  • 真理値表
  • Waarheidstabel
  • Tablica prawdy
  • Tabela verdade
  • Таблица истинности
  • 真值表
  • Truth table
rdfs:comment
  • Eine Wahrheitstabelle oder Wahrheitstafel, auch Wahrheitswert-Tabelle oder Wahrheitsmatrix genannt, ist eine tabellarische Aufstellung des Wahrheitswertverlaufs einer logischen Aussage. Die Wahrheitstabelle zeigt für alle möglichen Zuordnungen von endlich vielen (häufig zwei) Wahrheitswerten zu den aussagenlogisch nicht weiter zerlegbaren Teilaussagen, aus denen die Gesamtaussage zusammengesetzt ist, welchen Wahrheitswert die Gesamtaussage unter der jeweiligen Zuordnung annimmt. Die Wahrheitstabelle wird genutzt, um Wahrheitswertefunktionen beziehungsweise boolesche Funktionen darzustellen oder zu definieren und um einfache aussagenlogische Nachweise zu führen. Beispielsweise werden Wahrheitstabellen verwendet, um die Bedeutung von Junktoren festzulegen.
  • Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar. Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
  • جدول الحقيقة هو جدول رياضي مستخدم في المنطق تحديدا في الجبر البولياني، وحساب القضايا لحساب القيم الوظيفية من التعبيرات المنطقية على الحجج، على كل مجموعة من القيم التي تتخذها متغيراتها المنطقية على وجه الخصوص، ( Enderton, 2001) وجداول الحقيقة يمكن أن تستخدم لمعرفة ما إذا كان التعبير المعطى صحيح لجميع مدخلات القيم.
  • 真理値表(しんりちひょう、Truth table)は、論理関数の、入力の全てのパターンとそれに対する結果の値を、表にしたものである。 例1:命題Pの否定「 」の場合、以下のような真理値表になる。 例2:2つの命題P,Qの論理和「 」の場合、以下のような真理値表になる。 例3:2つの命題P,Qの論理積「 」の場合、以下のような真理値表になる。 なお、この表では「真」「偽」として表記してあるが、「T(=truth)」「F(=false)」、「1」「0」の場合もあるし、「1」のみを記述して「0」を記述しない場合もある。
  • Tabela verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida ou se um sequente é correto. As tabelas verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros nomes da década de 1880, e tomaram a forma atual em 1922 através dos trabalhos de Emil Post e Ludwig Wittgenstein. A publicação do Tractatus Logico-Philosophicus, de Wittgenstein, utilizava as mesmas para classificar funções veritativas em uma série. A vasta influência de seu trabalho levou, então, à difusão do uso de tabelas verdade.
  • Une table de vérité est une table mathématique utilisée en logique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques). Les tables de vérité peuvent être utilisées en particulier pour dire si une proposition est vraie pour toutes les valeurs légitimement imputées, c'est-à-dire : si une proposition est « logiquement valide ».
  • Le tabelle della verità (o tabelle logiche) sono tabelle matematiche usate nella logica per determinare se, attribuiti i valori di verità alle proposizioni che la compongono, una determinata proposizione è vera o falsa. La tabella di verità quindi si applica a qualsiasi operatore logico vero-funzionale, vale a dire in cui le condizioni di verità o falsità di qualunque enunciato che si ottiene applicando quell'operatore è determinato interamente ed esclusivamente da quelle degli enunciati più semplici a cui si applica.
  • Een waarheidstabel of waarheidstafel is een wiskundige tabel die aan het einde van de 19e eeuw werd ontwikkeld door Charles Dodgson. De tabel wordt in de logica, en dan met name in de propositielogica, gebruikt om te beslissen of een logische uitdrukking al dan niet waar is en of een argument al dan niet valide is. Waarheidstabellen kunnen worden gebruikt om de waarheidwaarden weer te geven van logische operatoren (zoals "en", "of", "niet" en "als...dan") bij alle combinaties van waarden.
  • Tablica prawdy lub matryca logiczna – wprowadzony w XIX wieku przez logików amerykańskich, Charlesa Sandersa Peirce'a i Emila Leona Posta, układ tabelaryczny zero-jedynkowych kombinacji wartości logicznych argumentów danej funkcji zdaniowej i dokładnie zależących od nich wartości logicznych tejże funkcji zdaniowej, w którym prawdzie odpowiada 1, a fałszowi przypisuje się 0. Tablicę prawdy posiadają wszystkie funktory zdaniotwórcze, np.: Przykład tablicy prawdy dla operatora alternatywy:
  • Таблица истинности — это таблица, описывающая логическую функцию. Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность.Например, в двузначной логике они могут принимать значения «истина» либо «ложь» (либо , либо ).
  • 真值表是使用於邏輯中(特別是在連結邏輯代數、布爾函數和命題邏輯上)的一類數學用表,用來計算邏輯表示式在每種論證(即每種邏輯變數取值的組合)上的值。尤其是,真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真,亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施羅德於1880年代所发明的。這種表格於1920年代之後廣泛地發現在許多文獻上頭(扬·武卡谢维奇、埃米爾·波斯特、维特根斯坦)”(蒯因, 39)。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题,但是包含他这项工作的手稿直到1977年才被发现 。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。 真值表被用來計算以「決策程序」建構的命題表示式的值。命題表示式可以是一個原子公式(命題常數、命題變數或命題函數,如Px或P(x)),或以邏輯算子(如邏輯與( )、邏輯或( )、邏輯非( ))由原子公式建構出來的公式。舉例來說, 即是個命題表示式。 真值表中的列标题展示了 (i)命题函数与/或变量,和 (ii)建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 (i)和 (ii)的T或F指派的每个可能的求值。换句话说,每行都是对 (i)和 (ii)的不同解释。
  • A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables (Enderton, 2001). In particular, truth tables can be used to show whether a propositional expression is true for all legitimate input values, that is, logically valid.
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