León Rojas, Alexander Nabí
(Universidad Nacional Santiago Antúnez de Mayolo, 2017)
En este trabajo se estudian los teoremas de corrección, completud y compacidad
en el marco de la Lógica proposicional clásica. Se detallan las demostraciones de
estos teoremas y se analizan sus significados e implicaciones. ...