Formula (logika)

Logikan, formula, zehatzago ongi eratutako formula, hizkuntza formal batean adierazitako hitz edo objektu sintaktiko bat da.

Logika