I am trying to write the sentence
Like this : ∀x((x<1)∧(x>0))→∀x((x^2)<x)
Is there any error here, or is it a suitable solution to the question ?
I am trying to write the sentence
Like this : ∀x((x<1)∧(x>0))→∀x((x^2)<x)
Is there any error here, or is it a suitable solution to the question ?
You should not have the second $\forall x$. $x$ has the same value throughout the statement. Some demand there be a set of parentheses around the whole scope of a quantifier. If you do, you should have a set around the whole implication.