this is what I founded in 1 min., just google it... and you will find what you want.
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