Material conditional

The material conditional, also known as material implication, is a basic idea used in logic. It is a special way to connect two statements using a symbol →. This means we can write one statement followed by another, like P → Q.

In this form, the statement is only false in one special case: when the first part (P) is true, but the second part (Q) is false. In all other situations, the statement is true. This helps logicians and mathematicians study how ideas relate to each other.

Material implication is important because it is used in classical logic and many computer programming languages. It helps build rules and commands that computers follow. However, some logics use different ways to connect statements because of certain problems with material implication when we try to use it to understand everyday language.

Notation

In logic, the material conditional is usually written with a special symbol → {\displaystyle \to } !{\displaystyle \to }. Other symbols like ⊃ {\displaystyle \supset } !{\displaystyle \supset } and ⇒ {\displaystyle \Rightarrow } !{\displaystyle \Rightarrow } are also used. In Polish notation, it is written as C p q {\displaystyle Cpq} !{\displaystyle Cpq}.

In a statement like p → q {\displaystyle p\to q} !{\displaystyle p\to q}, p {\displaystyle p} !{\displaystyle p} is called the antecedent, and q {\displaystyle q} !{\displaystyle q} is called the consequent. These statements can also be built inside each other, like in ( p → q ) → ( r → s ) {\displaystyle (p\to q)\to (r\to s)} !{\displaystyle (p\to q)\to (r\to s)}.

Polish notation

antecedent

consequent

History

In 1889, Peano wrote about "If A, then B" using a special symbol. In 1918, Hilbert used the arrow symbol → to show this idea. Later, Russell, Gentzen, and Heyting also used similar ways to express "If A, then B." Finally, in 1954, Bourbaki used another symbol ⇒ for the same meaning.

Semantics

From a classical semantic perspective, material implication is a binary truth functional operator. It means that a statement is "true" unless the first part is true and the second part is false. This idea can be shown in a special chart called a truth table:

Sometimes, when the first part of the statement is not true, the whole statement is still considered true. These are called "vacuous truths". For example:

• If Marie Curie is a sister of Galileo Galilei, then Galileo Galilei is a brother of Marie Curie.
• If Marie Curie is a sister of Galileo Galilei, then Marie Curie has a sibling.

Further information: Method of analytic tableaux

Formulas using only certain symbols can be called f-implicational. In classical logic, other symbols can be created using these special symbols and another one called falsity.

The way these formulas work can be checked using a special method.

A {\displaystyle A}	B {\displaystyle B}	A → B {\displaystyle A\to B}
F	F	T
F	T	T
T	F	F
T	T	T

T ( A → B ) F ( A ) ∣ T ( B ) {\displaystyle {\frac {{\boldsymbol {\mathsf {T}}}(A\to B)}{{\boldsymbol {\mathsf {F}}}(A)\quad \mid \quad {\boldsymbol {\mathsf {T}}}(B)}}}	F ( A → B ) T ( A ) F ( B ) {\displaystyle {\frac {{\boldsymbol {\mathsf {F}}}(A\to B)}{\begin{array}{c}{\boldsymbol {\mathsf {T}}}(A)\\{\boldsymbol {\mathsf {F}}}(B)\end{array}}}}
T ( ⊥ ) {\displaystyle {\boldsymbol {\mathsf {T}}}(\bot )}  : Close the branch (contradiction) F ( ⊥ ) {\displaystyle {\boldsymbol {\mathsf {F}}}(\bot )}  : Do nothing (since it just asserts no contradiction)

Syntactical properties

Further information: Natural deduction

The way we understand certain statements in logic doesn't always let us see how similar statements behave in different systems. This section looks at statements that use a special symbol →, which helps us connect two ideas.

There are different types of logic systems. In minimal logic, we only use two basic rules. In intuitionistic logic, we add one more rule to handle impossible situations. In classical logic, we add yet another rule that lets us work with statements about what is not not true. These systems help us understand how statements connect to each other in different ways.

Implication Introduction ( → {\displaystyle \to } I) If assuming A {\displaystyle A} one can derive B {\displaystyle B} , then one can conclude A → B {\displaystyle A\to B} . [ A ] ⋮ B A → B {\displaystyle {\frac {\begin{array}{c}[A]\\\vdots \\B\end{array}}{A\to B}}} ( → {\displaystyle \to } I) [ A ] {\displaystyle [A]} is an assumption that is discharged when applying the rule.	Implication Elimination ( → {\displaystyle \to } E) This rule corresponds to modus ponens. A → B A B {\displaystyle {\frac {A\to B\quad A}{B}}} ( → {\displaystyle \to } E) A A → B B {\displaystyle {\frac {A\quad A\to B}{B}}} ( → {\displaystyle \to } E)
Double Negation Elimination ( ¬ ¬ {\displaystyle \neg \neg } E) ( A → ⊥ ) → ⊥ A {\displaystyle {\frac {\begin{array}{c}(A\to \bot )\to \bot \\\end{array}}{A}}} ( ¬ ¬ {\displaystyle \neg \neg } E)	Falsum Elimination ( ⊥ {\displaystyle \bot } E) From falsum ( ⊥ {\displaystyle \bot } ) one can derive any formula. (ex falso quodlibet) ⊥ A {\displaystyle {\frac {\bot }{A}}} ( ⊥ {\displaystyle \bot } E)

A selection of theorems (classical logic)

In classical logic, special rules help us understand how ideas connect. For example:

• Import-export shows how moving ideas around keeps the meaning the same.
• Negated conditionals explain what happens when an idea does not lead to another.
• Or-and-if helps us see how "or" and "if" work together.

The rules also include things like transitivity, where if one idea leads to a second, and the second leads to a third, then the first leads to the third.

Other important rules are reflexivity, which says every idea leads to itself, and totality, which shows that either one idea leads to another or the other way around.

The relationship between the material conditional and logical consequence

The material conditional is a way to connect ideas in logic. It is different from another idea called logical consequence, which looks at how sentences relate to each other in a deeper way.

There is a special rule that connects these two ideas. It says that one set of ideas together with another idea will lead to a result if and only if that set of ideas will lead to the result when we use the material conditional. This helps us understand how ideas fit together in logic.

Discrepancies with natural language

Material implication, a way to think about "if-then" statements in logic, does not always match how we use these statements in everyday language. For example, in logic, a statement like "If 8 is odd, then 3 is prime" is considered true because the first part ("8 is odd") is false. But in everyday talk, people usually think this statement is false because 8 is not odd.

Similarly, logic says that if the second part of an "if-then" statement is true, then the whole statement is true. So "If I have a penny in my pocket, then Paris is in France" would be true in logic because Paris really is in France. But most people would disagree with this in normal conversation. These differences have led to many discussions about how best to understand "if-then" statements in both logic and everyday language.