Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Truth_function> ?p ?o. }
- Truth_function 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.[citation needed]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. Not all connectives of a natural language, such as English, are 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.".
- Truth_function thumbnail Venn0000.svg?width=300.
- Truth_function wikiPageID "604707".
- Truth_function wikiPageRevisionID "603507280".
- Truth_function also "/false (logic){{!}}False".
- Truth_function also "/true (logic){{!}}True".
- Truth_function equivalents "Apq".
- Truth_function equivalents "Bpq".
- Truth_function equivalents "Cpq".
- Truth_function equivalents "Dpq".
- Truth_function equivalents "Epq".
- Truth_function equivalents "Fpq".
- Truth_function equivalents "Gpq".
- Truth_function equivalents "Hpq".
- Truth_function equivalents "Ipq".
- Truth_function equivalents "Jpq".
- Truth_function equivalents "Kpq".
- Truth_function equivalents "Lpq".
- Truth_function equivalents "Mpq".
- Truth_function equivalents "Np".
- Truth_function equivalents "Nq".
- Truth_function equivalents "Opq".
- Truth_function equivalents "P ¬P".
- Truth_function equivalents "P ¬Q".
- Truth_function equivalents "P ¬Q".
- Truth_function equivalents "P ↑ ¬Q".
- Truth_function equivalents "P → ¬Q".
- Truth_function equivalents "P ↓ ¬Q".
- Truth_function equivalents "Vpq".
- Truth_function equivalents "Xpq".
- Truth_function equivalents "p".
- Truth_function equivalents "q".
- Truth_function equivalents "¬".
- Truth_function equivalents "¬P Q".
- Truth_function equivalents "¬P ¬Q".
- Truth_function equivalents "¬P ← Q".
- Truth_function equivalents "¬P ← ¬Q".
- Truth_function equivalents "¬P ↑ Q".
- Truth_function equivalents "¬P ↑ ¬Q".
- Truth_function equivalents "¬P → Q".
- Truth_function equivalents "¬P → ¬Q".
- Truth_function equivalents "¬P ↓ Q".
- Truth_function hasPhotoCollection Truth_function.
- Truth_function id "483".
- Truth_function main "Contradiction".
- Truth_function main "Converse implication".
- Truth_function main "Converse nonimplication".
- Truth_function main "Exclusive or".
- Truth_function main "Logical NOR".
- Truth_function main "Logical biconditional".
- Truth_function main "Logical conjunction".
- Truth_function main "Logical disjunction".
- Truth_function main "Material conditional".
- Truth_function main "Material nonimplication".
- Truth_function main "Negation".
- Truth_function main "Proposition".
- Truth_function main "Sheffer stroke".
- Truth_function main "Tautology".
- Truth_function notation ""bottom"".
- Truth_function notation ""top"".
- Truth_function notation "P Q".
- Truth_function notation "P & Q".
- Truth_function notation "P | Q".
- Truth_function notation "P AND Q".
- Truth_function notation "P IFF Q".
- Truth_function notation "P NAND Q".
- Truth_function notation "P NOR Q".
- Truth_function notation "P OR Q".
- Truth_function notation "P XNOR Q".
- Truth_function notation "P XOR Q".
- Truth_function notation "P · Q".
- Truth_function notation "P ↑ Q".
- Truth_function notation "P → Q".
- Truth_function notation "P ↓ Q".
- Truth_function notation "P ≡ Q".
- Truth_function notation "P".
- Truth_function notation "Q".
- Truth_function notation "~P".
- Truth_function notation "~Q".
- Truth_function notation "¬P".
- Truth_function notation "¬Q".
- Truth_function title "Alternative denial".
- Truth_function title "Biconditional".
- Truth_function title "Conjunction".
- Truth_function title "Converse implication".
- Truth_function title "Converse nonimplication".
- Truth_function title "Disjunction".
- Truth_function title "Exclusive disjunction".
- Truth_function title "Joint denial".
- Truth_function title "Material implication".
- Truth_function title "Material nonimplication".
- Truth_function title "Negation of P".
- Truth_function title "Negation of Q".
- Truth_function title "Proposition P".
- Truth_function title "Proposition Q".
- Truth_function title "Tautology".
- Truth_function title "TruthFunction".
- Truth_function truthtable "0".
- Truth_function truthtable "1".
- Truth_function subject Category:Mathematical_logic.