rdfs:comment
| - 真理関数(しんりかんすう、英:Truth function) とは、数理論理学において、真理値の各変数の変域と終集合とがそれぞれ『「真な命題」と「偽な命題」のみから成る集合』に等しいような写像である。真理関数は命題関数でもある。 (ja)
- En sanningsfunktion är en funktion f(p, q) av två argument p och q som antar sanningsvärden och där resultatet är ett sanningsvärde. Denna artikel om logik saknar väsentlig information. Du kan hjälpa till genom att lägga till den. (sv)
- En lògica matemàtica, una funció de veritat és una funció que pren un conjunt de valors de veritat i torna un valor de veritat. Clàssicament el domini i el rang d'una funció de veritat són{ veritable , fals }, però en general poden tenir qualsevol nombre de valors de veritat, fins i tot una infinitat d'ells. Una sentència connectiva (vegeu a sota) s'anomena "funcional de veritat" si assigna o denota aquesta funció.
* "Maria creu que Mariano Rajoy va guanyar les eleccions del 14 de març de 2004" és vertadera mentre que
* "Maria creu que la lluna està feta de formatge verd" (ca)
- Logická funkce je funkce, která pro konečný počet vstupních parametrů vrací logické hodnoty. Používá se v matematické logice, v oboru teorie řízení a číslicové techniky, v praxi pak například v mikroprocesorové technice. Parametry logické funkce jsou logické proměnné. Přiřazuje-li logická funkce výstupní hodnoty všem kombinacím vstupních logických proměnných, pak se nazývá úplně zadaná logická funkce; v opačném případě se nazývá neúplně zadaná logická funkce. Kombinace vstupních logických proměnných, k níž není určena hodnota výstupní logické funkce, se nazývá neurčitý stav. (cs)
- Eine Wahrheitswertefunktion, auch kurz Wahrheitsfunktion, ist eine mathematische Funktion, die Wahrheitswerte auf Wahrheitswerte abbildet. Der Definitionsbereich einer n-stelligen Wahrheitsfunktion ist die Menge aller n-Tupel von Wahrheitswerten, ihr Wertebereich die Menge der Wahrheitswerte. In der klassischen Logik umfasst die zugrunde liegende Wahrheitswertemenge {w, f} nur die beiden Werte "wahr" (w) und "falsch" (f); Wahrheitsfunktionen auf dieser Basis heißen daher genauer n-stellige zweiwertige. (de)
- En lógica matemática, una función de verdad es una función que toma un conjunto de valores de verdad y devuelve un valor de verdad. Clásicamente el dominio y el rango de una función de verdad son {verdadero,falso}, pero en general pueden tener cualquier número de valores de verdad, incluso una infinidad de ellos. Una sentencia conectiva (véase abajo) se llama "funcional de verdad" si asigna o denota tal función.
* "María cree que el Sol es más brillante que la Luna" es verdadera mientras que
* "María cree que la Luna está hecha de queso verde" (es)
- In logic, a truth function is a function that accepts truth values as input and produces a unique truth value as output. In other words: The input and output of a truth function are all truth values; a truth function will always output exactly one truth value; and inputting the same truth value(s) will always output the same truth value. The typical example is in propositional logic, wherein a compound statement is constructed using individual statements connected by logical connectives; if the truth value of the compound statement is entirely determined by the truth value(s) of the constituent statement(s), the compound statement is called a truth function, and any logical connectives used are said to be truth functional. (en)
- Uma função de verdade, também chamada de função veritativa, é uma função que valores de verdade a listas de valores de verdade. Na lógica clássica, a coleção de valores de verdade reduz-se a dois elementos, a verdade e a falsidade, enquanto que, em outras lógicas, a quantidade e natureza dos valores de verdade pode variar bastante. Um conectivo sentencial é uma função de verdade se a ele for atribuído ou se ele denota uma função de verdade. Abaixo segue um exemplo de uma função lógica (para melhor entendimento veja Lógica Proposicional). Por exemplo, a fórmula lógica:
* Por exemplo, a sentença: (pt)
- 在逻辑中,真值函数是从语言的句子生成的函数。它采用来自 {T,F} (就是真实和虚假)的真值。例如句子 A → B 生成真值函数 h(A,B),它的真值是 F,当且仅当 A 的值是 T 而 B 的值是 F。n 个变量的命题句子生成 2^{2^n} 个真值函数。比如,如果有像 A → (B → A) 这样的 2 个变量的命题则有 16 个生成的真值函数。 陳述或命题被称为是真值泛函的,如果它的真值由它的部件的真值来决定。 比如,“在2004年4月20日保罗·马丁是加拿大首相”是真的,“在2004年4月20日乔治·沃克·布什是美国总统”也是真的,所以合取:
* “在2004年4月20日保罗·马丁是加拿大首相 与 乔治·沃克·布什是美国总统” 是真的。在这个句子中,“与”充当真值函数。 相反的,在“在2004年4月20日阿尔·戈尔是美国总统”和“布蘭妮·斯皮爾斯相信在2004年4月20日阿尔·戈尔是美国总统”。知道前者不是真的和后者的真值之间没有关系:布蘭妮·斯皮爾斯相信阿尔·戈尔是总统这个命题的真值,不是由阿尔·戈尔在那天不是总统的事实来决定的。 所以,词语“相信”不是真值函数。 用更加数学化的术语,真值函数是一种布尔函数,并使用布尔变量来持有真值函数的结果是计算机科学的普遍实践。确定句子的真值是逻辑和数学二者的基本活动;作为结果,真值函数在与逻辑和数学基础有关的著作中经常讨论。 (zh)
|