Lógica Simbólica y Teoría de Conjuntos. Parte II
DOI:
https://doi.org/10.33044/revem.10284Resumen
En la Parte I se introdujeron simultáneamente las proposiciones, funciones proposicionales y sus conjuntos de verdad. Cada conectiva definida mediante una tabla de verdad, se relacionó con la operación entre conjuntos correspondiente. Las tautologías se utilizaron para diferenciar el condicional de la implicación lógica, así como el bicondicional de la equivalencia lógica. En esta Parte II del trabajo, se analizan las tautologías y las formas de razonamiento válidas, se relaciona el cuantificador universal con la conjunción y la intersección de familias de conjuntos. Análogamente, se procede con el cuantificador existencial relacionándolo con la disyunción inclusiva y la unión de familias de conjuntos. Se destacan 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. La numeración de los parágrafos así como de las tablas continúa la numeración de la Parte I, por cuanto las dos partes están estrechamente relacionadas constituyendo entre ambas la totalidad del trabajo.Descargas
Los datos de descarga aún no están disponibles.
Descargas
Publicado
2009-05-13
Número
Sección
Artículos de Matemática
Licencia
Derechos de autor 2009 Juan Carlos Bressan, Ana E. Ferrazzi de Bressan
Esta obra está bajo una licencia internacional Creative Commons Atribución-CompartirIgual 4.0.
Aquellos autores/as que tengan publicaciones con esta revista, aceptan los términos siguientes:
- Los autores/as conservarán sus derechos de autor y garantizarán a la revista el derecho de primera publicación de su obra, el cuál estará simultáneamente sujeto a la Atribución-CompartirIgual 4.0 Internacional (CC BY-SA 4.0), que permite:
- Compartir — copiar y redistribuir el material en cualquier medio o formato
- Adaptar — remezclar, transformar y construir a partir del material
- La licenciante no puede revocar estas libertades en tanto usted siga los términos de la licencia
- Los autores/as podrán adoptar otros acuerdos de licencia no exclusiva de distribución de la versión de la obra publicada (p. ej.: depositarla en un archivo telemático institucional o publicarla en un volumen monográfico) siempre que se indique la publicación inicial en esta revista.
- Se permite y recomienda a los autores/as difundir su obra a través de Internet (p. ej.: en archivos telemáticos institucionales o en su página web) después del proceso de publicación, lo cual puede producir intercambios interesantes y aumentar las citas de la obra publicada. (Véase El efecto del acceso abierto).