Lógica simbólica y teoría de conjuntos. Parte I
Tipo de documento
Lista de autores
Bressan, Juan Carlos y Ferrazzi-de-Bressan, Ana E.
Resumen
En este trabajo, la utilización de la lógica simbólica y de los conjuntos se hace desde un punto de vista intuitivo, ya que se persigue básicamente un fin didáctico. En esta Parte I se introducen simultáneamente las proposiciones, funciones proposicionales y sus conjuntos de verdad. Cada conectiva definida mediante una tabla de verdad, se relaciona con la operación entre conjuntos correspondiente. Las tautologías se utilizan para diferenciar el condicional de la implicación lógica, así como el bicondicional de la equivalencia lógica. En la Parte II, que aparecerá en el próximo número, se analizarán las tautologías y las formas de razonamiento válidas, se relacionará el cuantificador universal con la conjunción y la intersección de familias de conjuntos. Análogamente, se procederá con el cuantificador existencial relacionándolo con la disyunción inclusiva y la unión de familias de conjuntos. Se destacarán la diferencia entre demostraciones por el contrarrecíproco y por el absurdo y la importancia en el orden en que se escriben los cuantificadores en Matemática.
Fecha
2009
Tipo de fecha
Estado publicación
Términos clave
Lógica matemática | Pensamientos matemáticos | Procesos de justificación | Teoría de conjuntos
Enfoque
Idioma
Revisado por pares
Formato del archivo
Referencias
Bosch, J. (1965), Introducción al simbolismo lógico, Buenos Aires, EUDEBA. Bressan, J. C., Ferrazzi de Bressan, A. E. (1986), Lógica y conjuntos (EM 1, M 1), Buenos Aires, SENOC, Asociación para la Promoción de Sistemas Educativos no Convencionales. Copi, I. M. (1978), Introducción a la Lógica, Buenos Aires, EUDEBA. Gamut, L. T. F. (2002), Introducción a la Lógica, Buenos Aires, EUDEBA. Hamilton, A. G. (1981), Lógica para Matemáticos, Madrid, Paraninfo. Klimovsky, G. y Boido, G. (2005), Las desventuras del conocimiento matemático, Filosofía de la matemática. Una introducción, Buenos Aires, a-Z editora.