Bon-formita formulo
Aspekto
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.
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.