SINOPSIS DEL LIBRO

La lógica clásica trabaja con proposiciones. Intuitivamente se definen las proposiciones como aquellos enunciados que o son verdaderos o son falsos, pero no ambas cosas a la vez. La caracterización semántica usual de la lógica clásica (tablas de verdad, semántica de valuaciones, etc.), corresponde perfectamente a dicha intuición. Se establece así que la afirmación clásica de un enunciado corresponde a "el enunciado es verdadero", y que la negació...Seguir leyendo