Teorema di deduzione
Da Wikipedia, l'enciclopedia libera.
Questa voce è solo un abbozzo (stub). Se puoi, contribuisci adesso a migliorarla secondo le convenzioni di Wikipedia. Per l'elenco completo degli stub di matematica, vedi la relativa categoria.
Nella logica matematica, il teorema di deduzione afferma che se una formula F è deducibile da un'altra formula E allora l'implicazione E → F è dimostrabile (ovvero è "deducibile" dall'insieme vuoto). In simboli, se , allora
Il teorema di deduzione può essere generalizzato ad una sequenza numerabile di formule tali che da
, si inferisce , e così via fino a
.
Il teorema di deduzione è un meta-teorema: è usato per dedurre dimostrazioni in una certa teoria sebbene non sia un teorema della stessa teoria.
[modifica] Voci correlate
Dimostrazione condizionale, Calcolo proposizionale.
[modifica] Collegamenti esterni
- Introduction to Mathematical Logic di Vilnis Detlovs e Karlis Podnieks. In particolare v. Section 1.5