CE ÎNSEAMNĂ TRUTH-FUNCTION ÎN ENGLEZĂ?
Adevărul funcționează
În logica matematică, o funcție de adevăr este o funcție de la un set de valori ale adevărului la valori ale adevărului. Clasic domeniul și gama unei funcții de adevăr sunt, dar pot avea orice număr de valori ale adevărului, inclusiv o infinitate a acestora. O conectivitate logică este adevăr-funcțională dacă adevărul-valoare a unei fraze compuse este o funcție a adevărului-valoare a sub-propozițiilor sale. O clasă de conectori este adevărată funcțională dacă fiecare dintre membrii săi este. De exemplu, conectivitatea "și" este funcțională cu adevărat, deoarece o propoziție precum "merele sunt fructe și morcovi sunt legume" este adevărată dacă și numai dacă fiecare din sub-propoziții "mere" sunt fructe "și" morcovi sunt legume "este adevărat, și altfel este fals. Unele conectivități ale unei limbi naturale, cum ar fi limba engleză, nu sunt adevărate funcționale. Conexiunile formulei "x crede că ..." sunt exemple tipice de conectivități care nu sunt funcționale cu adevărul. Dacă de ex.
Definiția truth-function în dicționarul Engleză
Definiția funcției adevărului în dicționar este o funcție care determină adevărul-valoare a unei propoziții complexe numai în termenii adevărurilor-valori ale propozițiilor componente fără a se face referire la semnificația lor. O altă definiție a funcției adevărului este o propoziție complexă a cărei valoare a adevărului este atât de determinată, cum ar fi o negare sau o conjuncție.
CĂRȚI ÎN ENGLEZĂ ÎN LEGĂTURĂ CU «TRUTH-FUNCTION»
Descoperă întrebuințarea
truth-function în următoarea selecție bibliografică. Cărți în legătură cu
truth-function și extrase din aceasta pentru a furniza contextul de întrebuințare al acestuia în literatura Engleză.
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
...