Aşağıda sembolik mantık diliyle verilen önermeleri sözel olarak ifade ediniz. Sembolik İfade
p(x): "3x EQ, x < 4x² > 16 olur."
q(x): "VxEZ, (x-2)² ≥0 olur."
r(x): "3x € Z, x² < 8⇒x-1>0 olur."
s(x): "VxEQ,2*> 0 olur."​