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