cover image

Material conditional

Logical connective / From Wikipedia, the free encyclopedia

Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Material conditional?

Summarize this article for a 10 year old

SHOW ALL QUESTIONS

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.[citation needed]

Quick facts: IMPLY, Definition, Truth table, Logic gate, N...
Material conditional
IMPLY
Venn diagram of Material conditional
Definition
Truth table
Logic gateIMPLY_ANSI.svg
Normal forms
Disjunctive
Conjunctive
Zhegalkin polynomial
Post's lattices
0-preservingno
1-preservingyes
Monotoneno
Affineno
Close

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.

Oops something went wrong: