Formule (logická)

Formule je logický výraz, který se skládá ze slov a symbolů, který má určitý význam. Slouží k popisu, vyjádření a testování logických a matematických vztahů.

Relevantní k formule (logická)