truth-value

truth-value
/troohth"val'yooh/, n. Logic.
the truth or falsehood of a proposition: The truth-value of "2 + 2 = 5" is falsehood.
[1915-20]

* * *

logic
      in logic, truth (T or 1) or falsity (F or 0) of a given proposition or statement. Logical connectives, such as disjunction (symbolized ∨, for “or”) and negation (symbolized ∼), can be thought of as truth-functions, because the truth-value of a compound proposition is a function of, or a quantity dependent upon, the truth-values of its component parts.

      The truth-value of a compound statement can readily be tested by means of a chart known as a truth table. Each row of the table represents a possible combination of truth-values for the component propositions of the compound, and the number of rows is determined by the number of possible combinations. For example, if the compound contains just two component propositions, there will be four possibilities and thus four rows to the table. The logical properties of the common connectives may be displayed by truth tables as follows:

      in which · signifies “and” and ⊃ signifies “if . . . then.” (In the “or” table, for example, the second line reads, “If p is true and q is false, then pq is true.”) Truth tables of much greater complexity, those with a number of truth-functions, can be constructed by means of a computer. Abstract systems of logic have been constructed that employ three truth-values (e.g., true, false, and indeterminate) or even many, as in fuzzy logic, in which propositions have values between 0 and 1.

* * *


Universalium. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • truth value — noun (logic) The truth or falsity of a statement • • • Main Entry: ↑truth …   Useful english dictionary

  • Truth value — In logic and mathematics, a logical value, also called a truth value, is a value indicating the extent to which a proposition is true.In classical logic, the only possible truth values are true and false.However, other values are possible in… …   Wikipedia

  • truth-value — In classical logic a proposition may be true or false. If the former, it is said to take the truth value true, and if the latter the truth value false. The idea behind the term is the analogy between assigning a propositional variable one or… …   Philosophy dictionary

  • truth value — loginė reikšmė statusas T sritis informatika apibrėžtis ↑Reikšmė, kuria nusakoma viena iš dviejų būsenų: ↑tiesa arba ↑netiesa. Taigi yra tik dvi loginės reikšmės. Jos žymimos įvairiai: žodžiais tiesa ir netiesa, angliškais žodžiais TRUE ir FALSE… …   Enciklopedinis kompiuterijos žodynas

  • truth-value — ˈ ̷ ̷ˌ ̷ ̷(ˌ) ̷ ̷ noun Etymology: translation of German wahrheitswert : either the truth or the falsehood of a proposition or statement; sometimes : one of the interpreted or uninterpreted values attached to a formula in a many valued logic * * * …   Useful english dictionary

  • truth-value — truth′ val ue n. pho the truth or falsehood of a logical proposition within a given set of conditions • Etymology: 1915–20 …   From formal English to slang

  • Truth-value link — The principle of truth value links is a concept in metaphysics discussed in debates between philosophical realism and anti realism. Philosophers who appeal to truth value links in order to explain how individuals can come to understand parts of… …   Wikipedia

  • Truth-value semantics — In formal semantics, truth value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and M. Dunn and N. Belnap. It is also called the substitution interpretation (of the… …   Wikipedia

  • truth-value — noun Date: 1903 the truth or falsity of a proposition or statement …   New Collegiate Dictionary

  • truth value — noun Logic the attribute assigned to a proposition in respect of its truth or falsehood, which in classical logic has only two possible values (true or false) …   English new terms dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”