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