UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES

CURSO PENSAMIENTO LOGICO MATEMATICO

Actividad Colaborativa
Paso 3 Uso de las Reglas de Inferencia

Diana Marcela Herrera

Cdigo: 1.083.879.371
Grupo 200611A_459

Oscar Eduardo Vidal

Tutor

Universidad Nacional Abierta y a Distancia (UNAD)

Escuela de Ciencias Sociales Artes y Humanidades
Programa de Psicologa
Noviembre del 2016

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

CONTENIDO

1.
2.
3.
4.

Objetivos3
Introduccin...4
Situacin Problmica.5
Conclusin.8

1. OBJETIVOS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

2.
3.
4.
5.
6.

Identificar los conocimientos previos.

Fortalecer los conceptos necesarios para mi aprendizaje.
Comprender y aplicar los conceptos estudiados.
Interpretar los procesos de razonamiento y as llegar una posible solucin.
Aprender a manejar los simuladores para tablas de verdad.

2. INTRODUCCION

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

El presente trabajo es realizado con la estrategia de aprendizaje denominada como

Aprendizaje Basado en Problemas (ABP), la cual consisti en la estructuracin de un
enunciado problmico, que representa una situacin del mundo real y cotidiano,
motivndonos

al

desarrollo

fortalecimiento

de

competencias

interpretativas,

argumentativas y propositivas para establecer un lenguaje simblico y los procesos

operativos adecuados para llegar a la respuesta buscada en la problemtica planteada.
Con esta actividad identificamos y utilizamos, en forma clara las reglas de inferencia lgica
por induccin y deduccin en formulaciones y demostraciones de razonamientos vlidos en
situaciones especficas.

3. SITUACIN PROBLMICA DE LA INFERENCIA LGICA FASE GRUPAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

La Escuela de ciencias Bsicas Tecnologas e Ingenieras ECBTI de la UNAD realiz

como evento disciplinar unas Olimpiadas Matemticas Virtuales. El Lder Nacional de la
Escuela le ha informado al decano Nacional de Escuela como fue la premiacin, el primer
lugar recibir un computador porttil, el segundo lugar recibir una Tablet y el tercer lugar
recibir una coleccin de libros de matemticas Schaun; para dicho fin el lder Nacional
hizo el siguiente razonamiento: Si Ximena se gan el computador entonces Johan recibi
la Tablet o Ricardo fue quien recibi la Tablet. Si Johan fue quien recibi la Tablet,
entonces Ximena no obtuvo como premio el computador. Si Carlos fue quien recibi la
Tablet entonces Ricardo no fue quien recibi la Tablet. Ximena se gan el computador. Por
lo tanto, Carlos no fue quien recibi la Tablet.

Identificacin De Las Proposiciones Simples

X: Ximena se gan el computador
J: Johan recibi la Tablet
R: Ricardo fue quien recibi la Tablet
C: Carlos fue quien recibi la Tablet

Ahora bien, para determinar adecuadamente las premisas es conveniente extraer las
proposiciones compuestas del enunciado:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo fue quien
recibi la Tablet. Si Ximena fue quien recibi la Tablet, entonces Johan no obtuvo como
premio el computador. Si Carlos fue quien recibi la Tablet entonces Ricardo no fue quien
recibi la Tablet. Ximena se gan el computador. Por lo tanto, Carlos no fue quien recibi
la Tablet.
Premisa 1: Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo
fue quien recibi la Tablet.

XJVR

Premisa 2: Si Johan fue quien recibi la Tablet, entonces Ximena no obtuvo como premio
el computador.

JX

Premisa 3: Si Carlos fue quien recibi la Tablet entonces Ricardo no fue quien recibi la
Tablet.

CR

Conclusin: Ximena se gan el computador. Por lo tanto, Carlos no fue quien recibi la
Tablet.
Las premisas quedan as:
P1: X J V R
P2: J X
P3: C R
C: X C
[(X J V R) ^ (J X) ^ (C R)] (X C)
DEMOSTRACION POR TABLA DE LA VERDAD

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

(X J V R)

(J X)

(C R)

(X C)

V
V
V
V
F
F
F
F

V
V
V
F
V
V
V
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
V
V
V
V
F

F
F
F
F
F
F
V
V

V
F
V
F
V
V
V
V

V
F
V
V
F
V
V
V

[(X J V R) ^ (J X)
^ (C R)] (X
C)
V
V
V
V
V
V
V
V

La anterior tabla de verdad permite evidenciar que es una tautologa, por lo cual el
razonamiento es vlido.

4. CONCLUSIN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
CURSO PENSAMIENTO LOGICO MATEMATICO

La lgica proposicional es una de las piezas fundamentales de la Inteligencia, ya que para

realizar los cambios necesarios para la evolucin de esta ciencia, se precisa de un lenguaje
formal para representar los hechos que se reciben del mundo real y el uso de las
proposiciones. El utilizar proposiciones es una seal que encaja en forma perfecta en este
mbito. Es un modo sencillo y prctico de resolver un problema, considerando que se puede
resolver disgregando el problema en proposiciones u oraciones sencillas que permiten
analizar los hechos y tomar decisiones, es decir, crear nuevas proposiciones u oraciones
sencillas o compuestas que se incorporan a la base de conocimiento, permitiendo el
incremento y mejora de esta.
Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica para la
resolucin de problemas o la representacin de la realidad a nivel de proposiciones.