Lógica matemáticaEste libro abarca todos los temas que son objeto de estudio en el programa de lógica matemática para estudiantes de diversas carreras, especialmente estudiantes de ingeniería, que ofrece el Departamento de Matemáticas de la Universidad Central. Así, en sus nueve capítulos, se aborda la teoría de conjuntos, el razonamiento lógico, la sintaxis de fórmulas, la semántica de proposiciones, la inferencia lógica, la lógica de primer orden, los silogismos categóricos, los métodos de demostración y las álgebras de Boole. En cada capítulo se ofrece al estudiante una explicación con ejemplos, seguida de una serie de problemas prácticos para ser resueltos de forma individual o en grupo, con el fin de favorecer el aprendizaje integral de todos los contenidos. |
Contents
| 11 | |
| 17 | |
| 23 | |
La lógica y el razonamiento | 53 |
Sintaxis | 75 |
Semántica de proposiciones | 93 |
Inferencia lógica | 113 |
Lógica de primer orden | 139 |
Silogismos categóricos | 173 |
Métodos de demostración | 187 |
Algebras de Boole | 203 |
| 239 | |
Common terms and phrases
afirmaciones álgebra algoritmo ambos árbol argumento as´ı Boole booleana circuito clase complemento concluir conclusión condición condicional conectivo conjunto conocimiento consecuente Considere contiene contradicción cuadrados cumple dadas debe decir define demostración denota derecha determinar divisible Ejemplo Ejercicios elementos encuesta entero entonces equivalente escribe estudio exactamente existe expresa expresión falsa familia figura fórmula función gana implica izquierda jamón juicio letras llama llueve lógica Luego manera mapa Marte matemática método muestra n(A n B necesario negación notación infija notación polaca número de personas número real objeto observación Obsérvese obtiene operaciones parque pase permite personas que consumen postfija prefieren prefija Premisa primer primera principal productos programa propiedades proposición razonamiento realizada reglas relación representa salida Sean segunda siguiente silogismo simples subconjuntos suficiente suma tabla término Tierra tipos trabajo universal utiliza validez válido valor variable verdad verdadera