conseguenza

In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari modalità concettuali che conducono all’affermazione che qualcosa ‘segua’ da qualcos’altro.

In logica matematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, nel senso che ogni interpretazione di quest’insieme debba essere anche un’interpretazione dell’espressione considerata.

Funzione di c. La funzione che associa a ogni insieme M di espressioni la totalità delle espressioni che sono c. di M.