Paradoxes of Material Implication

Context
Natural deduction

Theorems

 * $$q \vdash p \Longrightarrow q$$

"If something is true, then anything implies it."


 * $$\lnot p \vdash p \Longrightarrow q$$

"If something is false, then it implies anything."

The following is known as the Self-Distributive Law:


 * $$p \Longrightarrow \left({q \Longrightarrow r}\right) \vdash \left({p \Longrightarrow q}\right) \Longrightarrow \left({p \Longrightarrow r}\right)$$
 * $$\left({p \Longrightarrow q}\right) \Longrightarrow \left({p \Longrightarrow r}\right) \vdash p \Longrightarrow \left({q \Longrightarrow r}\right)$$

We also have, interestingly, this result:


 * $$\left({p \Longrightarrow r}\right) \Longrightarrow \left({q \Longrightarrow r}\right) \not \vdash \left({p \Longrightarrow q}\right) \Longrightarrow r$$

Proofs
$$q \vdash p \Longrightarrow q$$:

$$\lnot p \vdash p \Longrightarrow q$$:

$$p \Longrightarrow \left({q \Longrightarrow r}\right) \vdash \left({p \Longrightarrow q}\right) \Longrightarrow \left({p \Longrightarrow r}\right)$$:

$$\left({p \Longrightarrow q}\right) \Longrightarrow \left({p \Longrightarrow r}\right) \vdash p \Longrightarrow \left({q \Longrightarrow r}\right)$$:

$$\left({p \Longrightarrow r}\right) \Longrightarrow \left({q \Longrightarrow r}\right) \not \vdash \left({p \Longrightarrow q}\right) \Longrightarrow r$$:

Comment
These counter-intuitive results have caused debate and confusion among philosophers for millennia.