Lógica Simbólica y Teoría de Conjuntos Parte I

Autores/as

  • Juan Carlos Bressan
  • Ana E. Ferrazzi de Bressan

DOI:

https://doi.org/10.33044/revem.10425

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.

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

2009-02-26

Cómo citar

Bressan, J. C., & Ferrazzi de Bressan, A. E. (2009). Lógica Simbólica y Teoría de Conjuntos Parte I. Revista De Educación Matemática, 24(1). https://doi.org/10.33044/revem.10425

Número

Sección

Artículos de Matemática