El Teorema de la Solidez muestra que las deducciones preservan la verdad, lo que nos da cierto consuelo al tratar de justificar en nuestra mente por qué las pruebas preservan la verdad. Al mirar el en...El Teorema de la Solidez muestra que las deducciones preservan la verdad, lo que nos da cierto consuelo al tratar de justificar en nuestra mente por qué las pruebas preservan la verdad. Al mirar el enunciado del Teorema de la Solidez, se puede ver que se trata explícitamente de relacionar la noción sintáctica de deducibilidad(⊢) con la noción semántica de implicación lógica(⊨).
