Probar los siguientes teoremas de CP:
a. Vx(a =» P) => O/xa =>
b.
c.
d.
e.
f.
g-
h.


a. No se trata de uma questão, mas sim de uma instrução para provar um teorema.
b. Não se trata de uma questão, mas sim de uma instrução para provar um teorema.
c. Não se trata de uma questão, mas sim de uma instrução para provar um teorema.
d. Não se trata de uma questão, mas sim de uma instrução para provar um teorema.
e. Não se trata de uma questão, mas sim de uma instrução para provar um teorema.
f. Não se trata de uma questão, mas sim de uma instrução para provar um teorema.
g. Não se trata de uma questão, mas sim de uma instrução para provar um teorema.
h. Não se trata de uma questão, mas sim de uma instrução para provar um teorema.