An Entity of Type: WikicatLogicalConnectives, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is true and is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum.

Property Value
dbo:abstract
• The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is true and is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum. Material implication is used in all the basic systems of classical logic as well as some nonclassical logics. It is assumed as a model of correct conditional reasoning within mathematics and serves as the basis for commands in many programming languages. However, many logics replace material implication with other operators such as the strict conditional and the variably strict conditional. Due to the paradoxes of material implication and related problems, material implication is not generally considered a viable analysis of conditional sentences in natural language. (en)
dbo:thumbnail
dbo:wikiPageID
• 658808 (xsd:integer)
dbo:wikiPageLength
• 12533 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
• 1062675489 (xsd:integer)
dbp:0Preserving
• no (en)
dbp:1Preserving
• yes (en)
dbp:affine
• no (en)
dbp:date
• February 2021 (en)
dbp:logicGate
• IMPLY_ANSI.svg (en)
dbp:monotone
• no (en)
dbp:otherTitles
• IMPLY (en)
dbp:reason
• Why is proof theory necessary for this? (en)
dbp:selfDual
• no (en)
dbp:title
• Material conditional (en)
dbp:vennDiagram
• Venn1011.svg (en)
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
• The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is true and is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum. (en)
rdfs:label
• Material conditional (en)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of