### if a certain natural deduction system is complete, then it is complete without material implication.

Consider π²,
the system of natural deduction articulated

*by the Howard-Snyders and Wasserman (2013). After introducing seventeen rules, some of which include Conditional Proof (CP), two forms of**Reductio ad absurdum*(RAA), Modus Ponens (MP), Simplification (Simp), Conjunction (Conj), Addition (Add), Commutation (Com), Double Negation (DN), and Disjunctive Syllogism (DS), they introduce the rule of
Material
Implication (mi): π« β
π¬ β· Β¬π«
v π¬

and they do so with the following
justification:

Without material
implication, our proof system would lack the capacity to prove valid every
argument that is valid according to the truth table method. (p. 380)

One way to understand what the Howard-Snyders
and Wasserman are sayings goes as follows: With (mi), π²
can prove sentences of the form Β¬π« v π¬ from sentences of the form π« β
π¬,
and vice-versa. Or

π« β
π¬ β’

_{π² }Β¬π« v π¬
and

Β¬π«
v π¬ β’

_{π² }π« β π¬
However, if we were to remove (mi) from π², perhaps forming the natural deduction system
π²

***, we could not prove Β¬π« v π¬ from π« β π¬ and vice versa. That is:
π« β
π¬ β¬

_{π²* }Β¬π« v π¬
and

Β¬π«
v π¬ β¬

_{π²* }π« β π¬
We will now show that neither one is
trueβviz., we will show that

π« β
π¬ β’

_{π²* }Β¬π« v π¬
and

Β¬π«
v π¬ β’

_{π²* }π« β π¬
And we will do this by using only the
inference rules of π²

***, which, as weβve said is any one of π² but (mi). We shall begin with
π« β
π¬ β’

_{π²* }Β¬π« v π¬
Consider a substitutional instance of π« β
π¬:

A β B

We shall show that

A
β B β’

_{π²* }Β¬A v B*Proof*:

1. A β B
β’

_{π²* }Β¬A v B
2. Β¬(Β¬A v B) Assume
for RAA

3. A Assume for CP

4. B 1, 3, MP

5. B v Β¬A 4,
Add

6. Β¬A v B 5,
Com

7. Β¬A v B β’
Β¬(Β¬A v B) 6, 2, Conj

8. Β¬A v B 2-7,
RAA

And now for

Β¬π«
v π¬ β’

_{π²* }π« β π¬
Consider a substitutional instance of Β¬π«
v π¬:

Β¬A v B

We shall show that

Β¬A
v
B β’

_{π²* }A β B*Proof*:

1. Β¬A v
B β’

_{π²* }A β B
2. A Assume for CP

3. Β¬Β¬A 2, DN

4. B 1, 3, DS

5. A β B 2-4,
CP

What this shows is that, contra the
Howard-Snyders and Wasserman, if their system of natural deduction is complete,
viz. if it such that any sentence π« is a valid inference from a
given set of premises, then there is a proof of π«
from those same set of premises, it would still be complete without (mi).

References

Howard-Snyder,
D. and F., and Wasserman, R. (2013).

*The Power of Logic*(5^{th}Ed.) New York: McGraw Hill.