next up previous
Next: The Substitution Rule Up: Standard Equivalences Previous: Standard Equivalences

Problem of Using Standard Equivalences

Standard equivalances apply to individual sentences, so that if we have

P v P tex2html_wrap_inline84 P

it doesn't follow that

Q v Q tex2html_wrap_inline84 Q

To make it follow we need to invoke the substitution rule



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