Formula (logika)

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

Artikulu hau zirriborroa da. Wikipedia lagun dezakezu edukia osatuz.