Chiusura deduttiva

Questa voce sull'argomento matematica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

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 ${\displaystyle \Gamma }$ l'insieme di formule considerato, la sua chiusura deduttiva viene indicata con ${\displaystyle C_{n}(\Gamma )=\{A|\Gamma \vdash A\}}$.