Formuła rachunku zdań
: 4 lut 2010, o 21:13
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)}\)
\(\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)}\)