ЧТО ОЗНАЧАЕТ СЛОВО TRUTH-FUNCTION
Функция истины
В математической логике функция истины является функцией от набора значений истинности до значений истинности. Классически область и диапазон функции истины есть, но они могут иметь любое количество значений истинности, включая бесконечность этих. Логическая связка истинно-функциональна, если истинностное значение составного предложения является функцией истинного значения его подпредложений. Класс связок функционально правдив, если каждый из его членов. Например, связка «и» функционирует по принципу истинности, поскольку предложение «Яблоки - это фрукты и морковь - это овощи», верно, если и только если каждое из его подпунктов «яблоки - фрукты» и «морковь - это овощи», true, и в противном случае это неверно. Некоторые связки естественного языка, такие как английский, не являются истинно-функциональными. Соединители формы «х полагают, что ...» являются типичными примерами связок, которые не являются истинно-функциональными. Если, например,
Значение слова truth-function в словаре английский языка
Определение функции правды в словаре - это функция, которая определяет истинностную ценность комплексного предложения исключительно в терминах истинностных значений компонентных предложений без ссылки на их смысл. Другое определение истинной функции - это сложное предложение, значение истинности которого определяется так, например, отрицание или соединение.
КНИГИ НА АНГЛИЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «TRUTH-FUNCTION»
Поиск случаев использования слова
truth-function в следующих библиографических источниках. Книги, относящиеся к слову
truth-function, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на английский языке.
1
Proceedings of the Ninth International Joint Conference on ...
We therefore let T = {t,f,u} be the set of allowable truth values, take L to be the set
of sentences in our language, and define a truth function to be a mapping 4>:L-*T
. Intuitively, </>(p) = u if we arc uncertain as to the truth or falsity of p. We will say ...
International Joint Conference on Artificial Intelligence (9, 1985, Los Angeles, Calif.), Aravind Joshi,
1985
2
Wittgenstein: The Way Out of the Fly-bottle
Fx Fa Propositional variable Function: elementary proposition Function:
elementary proposition Function: elementary proposition ~f [negation] Operation
~p Truth-function: proposition Truth-function: proposition Truth-function:
proposition Once ...
3
An epistemological approach to John Keats and the ...
... 2004/5 HS: John Keats “Where art rules, it is the laws of beauty that are in force
and the frontiers of reality are transcended” (Gadamer) An epistemological
approach to John Keats and the truth- function of his poetry Contents: 1.
4
An Introduction to Many-Valued and Fuzzy Logic: Semantics, ...
So, for example, and by design, ¬P expresses the negation truth-function, and P
→ Q expresses the conditional truth-function (other formula letters may be used).
Other truth- functions may require more complicated formulas. For example, the ...
5
Combinatory Logic: Pure, Applied and Typed
A set of connectives is functionally complete when any 2-valued truth function
can be expressed by a wff that contains propositional variables and connectives
from the set. This statement glides over the distinction between a connective and
...
6.2.3 Truth Functions and Normal Forms A truth function is a function whose
arguments can take only the values true or false and whose values are either true
or false. So any wff defines a truth function. For example, the function g defined
by ...
In Chapter 2 a compound was said to be a truth function of its components when
its truth value is determined by those of the components; and it was observed that
conjunction and negation constitute an adequate notation for truth functions.
Willard Van Orman Quine,
1982
8
Semantics : A Reader: A Reader
The truth function o→ simply cannot apply in either of the syntactic structures
appropriate to subordinating conjunctions. The reason is clear. Whereas the
coordinator has two sister clauses, the values of which provides a pair of values
on ...
Steven Davis Professor of Philosophy and and Director of the Centre on Values andf Ethics Carleton University, Brendan S. Gillon Associate Professor of Linguistics McGill University,
2004
9
Encyclopedia of Computer Science and Technology: Volume 2 - ...
Once an output has been specified for each input combination, a truth function is
then obtained by "ORing" together all those minterms corresponding to given
combinations which have a logical 1 for an output. From the truth function which ...
10
Discrete Structures, Logic, and Computability
6.2.3 Truth Functions and Normal Forms A truth function is a function with a finite
number of arguments, where the argument values and function values are from
the set {True, False}. So any wff defines a truth function. For example, the function
...