Chiusura deduttiva

Da Wikipedia, l'enciclopedia libera.

In matematica la chiusura deduttiva consiste nell'insieme di deduzioni che possono essere ricavate a partire da un insieme di assiomi.

In altre parole, la chiusura deduttiva è l'insieme di tutte le formule che, tramite le regole di inferenza disponibili, sono conseguenza dell'insieme di assiomi considerato.

In termini più formali, sia \Gamma l'insieme di formule considerato, la sua chiusura deduttiva viene indicata con C_n(\Gamma) = \{ A| \Gamma \vdash  A \}.

Voci correlate[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di Matematica