Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Material_conditional> ?p ?o. }
Showing items 1 to 45 of
45
with 100 items per page.
- Material_conditional abstract "The material conditional (also known as "material implication", "material consequence", or simply "implication", "implies" or "conditional") is a logical connective (or a binary operator) that is often symbolized by a forward arrow "→". The material conditional is used to form statements of the form "p→q" (termed a conditional statement) which is read as "if p then q" and conventionally compared to the English construction "If...then...". But unlike as the English construction may, the conditional statement "p→q" does not specify a causal relationship between p and q and is to be understood to mean "if p is true, then q is also true" such that the statement "p→q" is false only when p is true and q is false. The material conditional is also to be distinguished from logical consequence.The material conditional is also symbolized using: (Although this symbol is confused with the superset symbol used by algebra of sets.); (Although this symbol is often used for logical consequence (i.e. logical implication) rather than for material conditional.)With respect to the material conditionals above, p is termed the antecedent, and q the consequent of the conditional. Conditional statements may be nested such that either or both of the antecedent or the consequent may themselves be conditional statements. In the example "(p→q) → (r→s)" both the antecedent and the consequent are conditional statements.In classical logic is logically equivalent to and by De Morgan's Law logically equivalent to . Whereas, in minimal logic (and therefore also intuitionistic logic) only logically entails and in intuitionistic logic (but not minimal logic) entails .".
- Material_conditional thumbnail Venn1011.svg?width=300.
- Material_conditional wikiPageID "658808".
- Material_conditional wikiPageRevisionID "603361417".
- Material_conditional hasPhotoCollection Material_conditional.
- Material_conditional subject Category:Conditionals.
- Material_conditional subject Category:Logical_connectives.
- Material_conditional subject Category:Logical_consequence.
- Material_conditional type Abstraction100002137.
- Material_conditional type Conjunction106325826.
- Material_conditional type FunctionWord106291318.
- Material_conditional type LanguageUnit106284225.
- Material_conditional type LogicalConnectives.
- Material_conditional type Part113809207.
- Material_conditional type Relation100031921.
- Material_conditional type Word106286395.
- Material_conditional comment "The material conditional (also known as "material implication", "material consequence", or simply "implication", "implies" or "conditional") is a logical connective (or a binary operator) that is often symbolized by a forward arrow "→". The material conditional is used to form statements of the form "p→q" (termed a conditional statement) which is read as "if p then q" and conventionally compared to the English construction "If...then...".".
- Material_conditional label "Condicional material".
- Material_conditional label "Condicional material".
- Material_conditional label "Implication (logique)".
- Material_conditional label "Implicazione logica".
- Material_conditional label "Implikacja materialna".
- Material_conditional label "Logische implicatie".
- Material_conditional label "Material conditional".
- Material_conditional label "Subjunktion".
- Material_conditional label "Импликация".
- Material_conditional label "قضية شرطية".
- Material_conditional label "实质条件".
- Material_conditional label "論理包含".
- Material_conditional sameAs Implikace.
- Material_conditional sameAs Subjunktion.
- Material_conditional sameAs Condicional_material.
- Material_conditional sameAs Implication_(logique).
- Material_conditional sameAs Implicazione_logica.
- Material_conditional sameAs 論理包含.
- Material_conditional sameAs Logische_implicatie.
- Material_conditional sameAs Implikacja_materialna.
- Material_conditional sameAs Condicional_material.
- Material_conditional sameAs m.030fgd.
- Material_conditional sameAs Q7881229.
- Material_conditional sameAs Q7881229.
- Material_conditional sameAs Material_conditional.
- Material_conditional wasDerivedFrom Material_conditional?oldid=603361417.
- Material_conditional depiction Venn1011.svg.
- Material_conditional isPrimaryTopicOf Material_conditional.
