next up previous
Next: The Substitution Rule In Up: Standard Equivalences Previous: Problem of Using Standard

The Substitution Rule

Let tex2html_wrap_inline140 be a sentence containing the atomic sentence P.

If tex2html_wrap_inline140 is a tautology, the formula obtained by substituting another formula for P consistently throughout tex2html_wrap_inline140 is also a tautology.


Mike Rosner
Fri Oct 30 14:59:11 MET 1998