Lógica simbólica y teoría de conjuntos. Parte II

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...

Full description

Bibliographic Details
Main Author: Bressan, Juan Carlos
Other Authors: Ferrazzi de Bressan, Ana E.
Format: Electronic Article
Language:Spanish
Subjects:
Online Access:Texto completo

MARC

LEADER 00000nma a22000007a 4500
003 AR_CdUFM
005 20200602210415.0
006 m|||||o||d |00| 0
007 cr |||||||||||
008 200527s2009 ag ||| |o||||||0| | spa||
952 |0 0  |1 0  |2    |4 0  |6 REVISTA_DE_EDUCACIÓN_MATEMÁTICA_2_200900000000000  |7 0  |9 31297  |a MMA  |b MMA  |c Recurso en línea  |d 2020-05-27  |l 0  |o Revista de Educación Matemática 2 2009  |r 2020-05-27 00:00:00  |u https://revistas.unc.edu.ar/index.php/REM/article/view/10284/10983  |w 2020-05-27  |x 2020-05-27  |y ARTDEREVL  |z Buscar en Portal de Revistas UNC 
999 |c 19336  |d 19334 
040 |a AR_CdUFM   |b spa 
100 1 |9 23366  |a Bressan, Juan Carlos 
245 1 0 |a Lógica simbólica y teoría de conjuntos.  |n Parte II  |h [recurso electrónico] /  |c Juan Carlos Bressan, Ana E. Ferrazzi de Bressan.  |b   
300 |a 1 recurso en línea (p. 15-27) 
520 |a 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. 
650 4 |a Lógica matemática 
650 4 |a Teoría de conjuntos 
700 1 |9 23496  |a Ferrazzi de Bressan, Ana E. 
773 |g vol. 24, no. 2 (2009)  |t Revista de Educación Matemática.  |w 14036 
856 |u https://revistas.unc.edu.ar/index.php/REM/article/view/10284  |z Texto completo 
942 |2    |c ARTDEREVL 
945 |a MVC  |d 2020-05-27