PENSAMIENTO LOGICO Y MATEMATICO

TRABAJO COLABORATIVO 3

TUTOR. LILIANA GARCIA

UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
PSICOLOGA
VALLEDUPAR
2016

TEOREMAS DEL LGEBRA DE BOOLE

TEOREMA 1: el elemento complemento A es nico.
TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica: A+1 = 1
A0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro. 0=1 1=0
TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A AA=A
TEOREMA 5 (INVOLUCIN): para cada elemento de B, se verifica: (A) = A
TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se verifica: A+AB=A
A(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica: A + AB = A + B A (A + B)
=A B
TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple
la propiedad asociativa:
A+(B+C) = (A+B)+C
A(BC) = (AB)C
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:
(A+B) = AB
(AB) = A + B

INTRODUCCIN

Razonar es un proceso por el cual se establece una conclusion basada en una o

mas proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el
punto de partida del proceso. Si la conclusion es correcta significa que las premisas
contienen la informacion necesaria y suficiente para establecer la conclusion y por lo tanto
se puede afirmar que el razonamiento es correcto, de lo contrario, se dira que es incorrecto.
Con el desarrollo de este trabajo pretendemos afianzar los procesos de argumentacion
y deduccion que propicien una actitud critica frente a la realidad; se presenta como la
posibilidad de desarrollar nuestra inteligencia logica matematica, la cual sera de gran
utilidad en nuestra vida universitaria y profesional, pues nos permite trabajar sobre
situaciones problemicas contextualizadas a la realidad.
En este trabajo utilizamos herramientas que nos permitieron adquirir habilidades
para comprender conceptos como razonamientos logicos, inferencia logica y argumentos
logicos (inductivos), los conectivos logicos que usamos diariamente en nuestro leguaje y
que pocas veces nos detenemos a analizar y comprender.
Posteriormente aprenderemos a hacer simplificaciones de expresiones complejas o dificiles
de descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas.
Tambien aprendimos lo que es el algebra booleana, estudiada por primera vez en detalle por
JORGE BOOLE, la cual constituye un area de las matematicas que ha pasado a ocupar un
lugar prominente con el advenimiento de la computadora digital; en este caso proporcionan
un eslabon entre el algebra de conjuntos y el calculo proposicional. Son usadas
ampliamente en el diseno de circuitos de distribucion y computadoras, las aplicaciones de
la electrnica digital a los procesos de control y automatismo industriales estan
fundamentadas tericamente en este sistema matematico.

OBJETIVOS

OBJETIVO GENERAL
Identificar y utilizar en forma clara las reglas de inferencia lgica por induccin y
deduccin en formulaciones y demostraciones de razonamientos validos en
situaciones especificas.
OBJETIVOS ESPECIFICOS
desarrollar competencias necesarias para que pueda aplicar mtodos de
demostracin de la validez o de la no validez de un argumento dado.
Interpreta e identifica en forma clara, la estructura y fundamento conceptual que
tipifica los mtodos de inferencia lgica por induccin y deduccin, por medio de
demostraciones y razonamientos validos
Formula soluciones a problemas planteados mediante la aplicacin de las reglas de
inferencia como tcnicas de demostracin directa e indirecta.
Desarrollar competencias comunicativas y cognoscitivas a travs del desarrollo de
habilidades de pensamiento, como son: anlisis, sntesis, comparacin, abstraccin,
entre otros; aspectos fundamentales para un optimo desempeo en lo acadmico,
disciplinar y profesional.

SEGUNDO APORTE GRUPAL

1. Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento Lgico y
Matemtico, y se da cuenta que debe realizar muy bien las tareas faltantes para alcanzar a
ganar el curso, observa que est a punto de abrirse el foro del trabajo Colaborativo Tres y
entonces se hace la siguiente autorreflexion: Si soy disciplinada en mis estudios entonces
entrego mis aportes significativos a tiempo o resuelvo mis inquietudes del tema con mi
tutor. Si me dedico a rumbear, pasear, entonces no entrego mis aportes significativos a
tiempo. Si en las noches veo video-tutoriales del tema entonces no necesito resolver mis
inquietudes del tema con mi tutor.
Soy disciplinada en mis estudios y en las noches veo video-tutoriales del tema. Por lo tanto,
entrego mis aportes significativos a tiempo.
La estructura del enunciado corresponde a un razonamiento deductivo.
p: Disciplina en los estudios
q: Entrego aportes a tiempo
r :Resuelvo inquietudes con el tutor
s :Dedico a rumbear , pasear
t :Ver tutoriales
Identificacin de las proposiciones simples:
Premisa 1: p(qv r )
Premisa 2: sq
Premisa 3: t r
Premisa 4: pt
Conclusin: q
Tabla de verdad
{[( p(q v r ))(sq )][(t r )( pt )]}q

Demostracin por leyes de inferencia:

Premisa 1: p(qr )
Premisa 2: s q
Premisa 3: t r
Premisa 4: pt
Premisa 5: t
Premisa 6: r
Premisa 7: p Sim de
Premisa 8: qV r MPP de 7 y 1
Premisa 9: q Sim de 8

CONCLUSIONES
El razonamiento logico o causal es un proceso de logica mediante el cual, partiendo de uno
o mas juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. El
estudio de los argumentos corresponde a la logica , de modo que a ella tambien le
corresponde indirectamente el estudio del razonamiento. Por lo general, los juicios en que
se basa un razonamiento expresan conocimientos ya adquiridos o, por lo menos, postulados
comohipotesis.
Es posible distinguir entre varios tipos de razonamiento logico. Por ejemplo el
razonamiento deductivo (estrictamente logico), el [razonamiento inductivo] (donde
interviene la probabilidad y la formulacion de conjeturas) y razonamiento abductivo , entre
otros.
Se entiende por inferencia logica a un razonamiento el que a partir de un conjunto de
proposiciones llamados premisas se obtiene un resultado llamado conclusion. Un
razonamiento es valido si, y solamente si, la conjuncion de las premisas implica la
conclusion, o la conclusion es consecuencia de las premisas, es decir, si las premisas todas
son verdaderas, entonces las conclusiones que se derivan de ellas logaritmicamente han de
ser verdaderas. Sin embargo, si una o mas de las premisas es falsa, la conjuncion de todas
las premisas es falsa; por tanto, la conclusion puede ser verdadera o falsa.
Un argumento logico es una cadena de proposiciones en la que una de ellas (llamada
conclusion) es consecuencia de las restantes (llamadas premisas). Los argumentos logicos
son deductivos, es decir, la conclusion se sigue necesariamente de las premisas.

Bibliografa

Pagina web. Demostracin directa e indirecta. Rescatado de

http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_24_demostracin_
directa_e_indirecta.html
Pagina web. Dilema constructivo y absorcin. Rescatado de:
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_anteriore/
EXE/EXE_Julio_31_de_2012/dilema_constructivo_absorcin__simplificacin.html
Simulador de Diagrama de Venn:
http://conjuntos12345.weebly.com/simulador.html
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_anterio
re/Modulo/2010_febrero_3_Modulo_de_Logica.pdf
http://es.slideshare.net/filosofico/mtodos-de-demostracin-en-matemtica
https://es.wikipedia.org/wiki/Contraejemplo
https://es.scribd.com/doc/148855221/29/Ejemplo-1-34-Demostracion-porcontraejemplo
Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press.
Hamilton, A. G. (1981). Logica para matematicos. Paraningo
Kenneth H. Rosen: Discrete Mathematics and its Applications,5.a edicion, p. 58.
2006. Pascual Julian. Apuntes de Logica. Universidad de castilla La
Mancha.Recuperado de http://titan.inf-cr.uclm.es/www/pjulian/teaching/sl_apLO.pdf
2012, 19 de marzo, Manuel Maia, Logica Proposicional, Teoremas y Demostraciones
https://upload.wikimedia.org/wikipedia/commons/b/b4/Logica_y_demostraciones.pdf
2005, Abril, Francisco Jose Gonzalez Gutierrez Cadiz, Apuntes de Logica Matematica 3.