« Section 2.5: Problem 8 Solution

Section 2.5: Problem 10-A Solution »

Section 2.5: Problem 9 Solution

Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
In Section 2.4 we used a certain set of logical axioms. That set can be altered, within limits.
(a) Suppose we add to some formula that is not valid. Show that the soundness theorem now fails.
(b) At the other extreme, suppose we take no logical axioms at all: . Show that the completeness theorem now fails.
(c) Suppose we modify by adding one new valid formula. Explain why both the soundness theorem and the completeness theorem still hold.
(a) In this case, for example, we can prove , which does not imply . Or, for any structure and such that and for some , , but .
(b) In this case, if , then cannot prove anything, yet there are valid formulas for which but .
(c) The completeness theorem holds just because we can use the same deduction that is constructed without the new formula. The soundness theorem holds because in its proof by induction the validity of every logical axiom still holds (the only property of logical axioms used in the proof).