conseguenza
conseguènza [Der. del lat. consequentia, da consequi (→ conseguente)] [FAF] Conclusione che si deduce da una premessa. Una formula a è c. logica di un insieme F di formule se a è vera in ogni modello di F: v. logica: III 485 d. ◆ [FAF] Funzione di c.: la funzione logica che associa a ogni insieme di espressioni la totalità delle espressioni che sono c. dell'insieme medesimo. ◆ [FAF] Relazione di c.: particolare relazione tra un'espressione e un insieme di espressioni, secondo la quale ogni interpretazione di quest'insieme debba essere anche un'interpretazione di quell'espressione.