Does anyone know how to give a formal proof of number theory

Jun 14th 2009, 11:19 PM

Swlabr

Quote:

Originally Posted by miz.perfect84

Does anyone know how to give a formal proof of the following:

┡ Q ∃y (y ∙ y’)’ = (y + y’)

Hi,

I'm none to familiar with some of the symbols you've used (primarily, "┡", and what is "y"). Could you perhaps use some more words, or type it in LaTeX?