Si hay una derivación deΓ0\SequentA donde seΓ0 encuentra cadaB inΓ, decimos queA es derivableΓ y escribimosΓ\ProvesA. El teorema de solidez s...Si hay una derivación deΓ0\SequentA donde seΓ0 encuentra cadaB inΓ, decimos queA es derivableΓ y escribimosΓ\ProvesA. El teorema de solidez se prueba por inducción sobre la longitud de las derivaciones, mostrando que cada inferencia individual conserva la validez del secuente de conclusión siempre que los secuentes de premisa sean válidos.
