Este libro presenta las teorías y técnicas básicas de la lógica, que incluyen: lógica de palabras, lógica proposicional y lógica de predicados en lógica deductiva; conocimiento preliminar de la lógica modal y teorías y métodos de argumentación relacionados. y algunos otros métodos lógicos de uso común. Este libro combina estrechamente la lógica tradicional con la lógica moderna, combina la teoría con la práctica y tiene en cuenta aspectos tanto académicos como prácticos. Este libro es simple y fácil de entender. Las teorías relevantes de la lógica moderna no se limitan a la deducción simbólica abstracta, sino que prestan más atención a la elaboración de sus ideas lógicas. Este libro no solo se puede utilizar como un libro de texto de lógica para estudiantes universitarios y estudiantes universitarios que no son de lógica en colegios y universidades, sino también como lectura de referencia para el personal relevante y los entusiastas de la lógica.
¿De quién es el trabajo de la lógica?
"Logic" es un libro publicado por Machinery Industry Press el 2 de agosto de 2013. El autor es Wang Hanqing.