Clearly, for each of the above identities there is a corresponding tautology. Hence, to
P v P P
there corresponds
(P v P) P. From the substitution rule, it follows that
( v )
is a tautology for any formula ; therefore
P
P.
From the substitution rule, it follows that
v )
; therefore
v )