Czy dobrze zapisałem tako o to formułe zdan moge uzywac =,>,+, *: Istnieje trujmain kwadratowy o dodatnim wyróżniku ktory ma 2 rozwiazania dodatnie:
\(\displaystyle{ (\exists a\exists b \exists c)(ax*x + bx + c=0 \Rightarrow p*p=(b*b-4a*c)>0\wedge \frac{-b -p}{2a}>0 \wedge \frac{-b+p}{2a} >0)}\)