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. ...