deduzione, teorema di
deduzione, teorema di in logica, stabilisce che se dagli assiomi di un sistema formale S e da una formula A del sistema è deducibile la formula P, allora dai soli assiomi di S è deducibile la formula A ⇒ P che è, quindi, un teorema di S (→ deduzione).