Bon-formita formulo

Bon-formita formulo en matematikala, propozicionala e predikatala logiko esas formulo kom finita sequo di simbolo de determinit alfabeto, qua es parto di formala linguo.