Write the following proposition in simple English which is given
symbolically in the notations of quantifying and predicate
logic. Determine its truth value.
Let x be a real number and P(x): x2+1>0