# Section 1.2: Problem 16-A 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

*(Additional)*Show that for any formula we can find a tautologically equivalent formula in which negation (if it occurs at all) is applied only to sentence symbols.

This can be shown by induction. In fact, the only case we need to consider is
where both
and
are tautologically equivalent to some formulas
and
, respectively, in which negation is applied only to sentence symbols. Then, if
, then
is tautologically equivalent to, respectively,
,
,
, and
.