Well I was wondering if there is a method which some one follows to solve questions like these..

Here is an example

The square of every real number is a non-negative number

(for all x)(x element of Z) --> (x^2>0)

is this how you write it ? btw I used A upside down for (for all x)

if you can kindly post any websites that teaches how to master this

Thanks