Introducción a la lógica formal- Peter Smith

Peter Smith introduce al lector en los lenguajes de la lógica proposicional y predicada, y luego desarrolla sistemas formales para evaluar los argumentos traducidos a estos lenguajes, concentrándose en el método "árbol" fácilmente comprensible. Su comentario se complementa con ejemplos y ejercicios, haciendo que el texto sea apropiado para un primer curso de lógica. El libro también proporcionará una base para la investigación adicional en la lógica formal y filosófica.