Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q913874> ?p ?o }
Showing triples 1 to 74 of
74
with 100 triples per page.
- Q913874 subject Q6991843.
- Q913874 subject Q7020589.
- Q913874 abstract "In mathematical logic, a truth function is a function from a set of truth values to truth values. Classically the domain and range of a truth function are {truth, falsehood}, but they may have any number of truth values, including an infinity of these.A logical connective is truth-functional if the truth-value of a compound sentence is a function of the truth-value of its sub-sentences. A class of connectives is truth-functional if each of its members is. For example, the connective "and" is truth-functional since a sentence like "Apples are fruits and carrots are vegetables" is true if, and only if each of its sub-sentences "apples are fruits" and "carrots are vegetables" is true, and it is false otherwise. Some connectives of a natural language, such as English, are not truth-functional.Connectives of the form "x believes that ..." are typical examples of connectives that are not truth-functional. If e.g. Mary mistakenly believes that Al Gore was President of the USA on April 20, 2000, but she does not believe that the moon is made of green cheese, then the sentence"Mary believes that Al Gore was President of the USA on April 20, 2000"is true while"Mary believes that the moon is made of green cheese"is false. In both cases, each component sentence (i.e. "Al Gore was president of the USA on April 20, 2000" and "the moon is made of green cheese") is false, but each compound sentence formed by prefixing the phrase "Mary believes that" differs in truth-value. That is, the truth-value of a sentence of the form "Mary believes that..." is not determined solely by the truth-value of its component sentence, and hence the (unary) connective (or simply operator since it is unary) is non-truth-functional.The class of classical logic connectives (e.g. &, →) used in the construction of formulas is truth-functional. Their values for various truth-values as argument are usually given by truth tables. Truth-functional propositional calculus is a formal system whose formulas may be interpreted as either true or false.".
- Q913874 thumbnail Venn0000.svg?width=300.
- Q913874 wikiPageWikiLink Q1047000.
- Q913874 wikiPageWikiLink Q11348.
- Q913874 wikiPageWikiLink Q1154428.
- Q913874 wikiPageWikiLink Q1166618.
- Q913874 wikiPageWikiLink Q1315869.
- Q913874 wikiPageWikiLink Q138875.
- Q913874 wikiPageWikiLink Q1475294.
- Q913874 wikiPageWikiLink Q1524945.
- Q913874 wikiPageWikiLink Q163335.
- Q913874 wikiPageWikiLink Q164307.
- Q913874 wikiPageWikiLink Q165474.
- Q913874 wikiPageWikiLink Q17020770.
- Q913874 wikiPageWikiLink Q170451.
- Q913874 wikiPageWikiLink Q173156.
- Q913874 wikiPageWikiLink Q173183.
- Q913874 wikiPageWikiLink Q177251.
- Q913874 wikiPageWikiLink Q1782658.
- Q913874 wikiPageWikiLink Q1806121.
- Q913874 wikiPageWikiLink Q183372.
- Q913874 wikiPageWikiLink Q185521.
- Q913874 wikiPageWikiLink Q187959.
- Q913874 wikiPageWikiLink Q189396.
- Q913874 wikiPageWikiLink Q190558.
- Q913874 wikiPageWikiLink Q191081.
- Q913874 wikiPageWikiLink Q192439.
- Q913874 wikiPageWikiLink Q194404.
- Q913874 wikiPageWikiLink Q197970.
- Q913874 wikiPageWikiLink Q200694.
- Q913874 wikiPageWikiLink Q211790.
- Q913874 wikiPageWikiLink Q219079.
- Q913874 wikiPageWikiLink Q220433.
- Q913874 wikiPageWikiLink Q2348801.
- Q913874 wikiPageWikiLink Q236975.
- Q913874 wikiPageWikiLink Q244761.
- Q913874 wikiPageWikiLink Q3269980.
- Q913874 wikiPageWikiLink Q3311695.
- Q913874 wikiPageWikiLink Q33760.
- Q913874 wikiPageWikiLink Q36161.
- Q913874 wikiPageWikiLink Q368988.
- Q913874 wikiPageWikiLink Q3737844.
- Q913874 wikiPageWikiLink Q381060.
- Q913874 wikiPageWikiLink Q382497.
- Q913874 wikiPageWikiLink Q3874243.
- Q913874 wikiPageWikiLink Q5432619.
- Q913874 wikiPageWikiLink Q574946.
- Q913874 wikiPageWikiLink Q638442.
- Q913874 wikiPageWikiLink Q649732.
- Q913874 wikiPageWikiLink Q655717.
- Q913874 wikiPageWikiLink Q6564405.
- Q913874 wikiPageWikiLink Q657596.
- Q913874 wikiPageWikiLink Q673672.
- Q913874 wikiPageWikiLink Q6991843.
- Q913874 wikiPageWikiLink Q7020589.
- Q913874 wikiPageWikiLink Q7881229.
- Q913874 wikiPageWikiLink Q7949.
- Q913874 wikiPageWikiLink Q849335.
- Q913874 wikiPageWikiLink Q879126.
- Q913874 wikiPageWikiLink Q913874.
- Q913874 wikiPageWikiLink Q917661.
- Q913874 wikiPageWikiLink Q92741.
- Q913874 wikiPageWikiLink Q936559.
- Q913874 wikiPageWikiLink Q9391.
- Q913874 wikiPageWikiLink Q942353.
- Q913874 wikiPageWikiLink Q949972.
- Q913874 type Thing.
- Q913874 comment "In mathematical logic, a truth function is a function from a set of truth values to truth values. Classically the domain and range of a truth function are {truth, falsehood}, but they may have any number of truth values, including an infinity of these.A logical connective is truth-functional if the truth-value of a compound sentence is a function of the truth-value of its sub-sentences. A class of connectives is truth-functional if each of its members is.".
- Q913874 label "Truth function".
- Q913874 seeAlso Q1315869.
- Q913874 seeAlso Q2348801.
- Q913874 depiction Venn0000.svg.
