How do we formalize the following:(adsbygoogle = window.adsbygoogle || []).push({});

For all natural Nos : [itex]n^2[/itex] is even[itex]\Rightarrow[/itex] n is even

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# How do we formalize the following:For all natural Nos :

**Physics Forums | Science Articles, Homework Help, Discussion**