Frazo (matematikala logiko)

Frazo en matematikala logiko esas formulo de predikatala logiko kun Boole-valori (0 e 1), bone formita, sen libera variebluri. La frazo povas konsideresar kom expreso di propoziciono, ulo, quo mustas esar verajo o falsajo.

Por altra termini nomizita 'Frazo', videz Frazo (homonimo).