Teorema di deduzione
Da Wikipedia, l'enciclopedia libera.
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
