Propozicionala formulo

Propozicionala formulo esas linguala expresuro kontenanta quantifikanti, qui rezulte matematikala operaci divenas frazi.