UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

TRABAJO COLABORATIVO FASE GRUPAL

CAMILO ALEXANDER AMEZQUITA CORTES

1016018105

TUTORA: LUZMILA ROJAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERIA DE TELECOMUNICACIONES
PENSAMIENTO LGICO Y MATEMTICO
GRUPO: 200611_52
BOGOTA D.C
MAYO DE 2016

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

INTRODUCCIN .................................................................................................. 3
OBJETIVOS ......................................................................................................... 4
PROBLEMA DE INFERENCIA LGICA ............................................................. 5
PROBLEMA TABLAS DE VERDAD E INFERENCIA LGICA........................... 9
CONCLUSIONES ............................................................................................... 12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Introduccin
En el presente trabajo se evidencia la solucin del ejercicio impuesto en la fase
grupal, as como el desarrollo del ejercicio individual elegido por cada uno de los
estudiantes

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Objetivos
Con el presente trabajo se busca principalmente:
1. mostrar al seor(a) tutor(a) el desarrollo de los ejercicios propuestos en la
gua de actividades
2. demostrar el grado de conocimiento adquirido del tema por cada uno de
los participantes de la actividad

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Problema de Inferencia Lgica

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 autorreflexin: 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.
Proposiciones simples
p: Ana es disciplinada
q: Ana entrega los aportes a tiempo
r: Ana resuelve inquietudes con el tutor
s: Ana se dedica a rumbear y pasear
t: Ana mira video tutoriales
Proposicin compuesta
((p(qr)(sq))(tr)(pt))q
Este razonamiento es una tautologa ya que el razonamiento es correcto.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

p q r s t q r ((p (qr) (sq)) (tr) (pt)) q

v
v
v
v
v
f
v
v
v
f
v
v
f
v
f
f
v
v

v
v
v
v
f
v
v
v
f
v
v
f
v
f
v
f
v
f

v
v
v
f
v
v
v
f
v
v
f
v
v
f
f
v
f
v

v
v
f
v
v
v
f
v
v
v
f
f
f
v
v
v
f
f

v
f
v
v
v
v
f
f
f
f
v
v
v
v
v
v
f
f

f
f
f
f
v
f
f
f
v
f
f
v
f
v
f
v
f
v

f
f
f
v
f
f
f
v
f
f
v
f
f
v
v
f
v
f

v
v
v
v
v
f
v
v
v
f
v
v
f
v
f
f
v
v

v
v
v
f
v
v
v
v
v
v
v
v
v
f
v
v
v
v

v
v
v
v
v
v
v
v
v
v
v
v
v
f
v
v
v
v

f
f
v
f
v
f
v
f
v
f
v
v
v
f
f
v
v
v

f
f
v
f
v
f
v
f
v
f
v
v
v
v
f
v
v
v

f
f
f
f
f
f
v
f
v
f
v
f
f
f
f
f
v
v

f
v
f
v
f
f
v
v
v
v
v
f
f
v
v
f
v
v

f
f
f
f
f
f
f
f
f
f
v
f
f
f
f
f
f
f

v
f
v
v
v
f
f
f
f
f
v
v
f
v
f
f
f
f

v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v

v
v
v
v
f
v
v
v
f
v
v
f
v
f
v
f
v
f

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

f
f
v
f
v
f
f
f
v
f
f
f
f
f

v
v
f
f
f
v
f
f
f
v
f
f
f
f

v
f
f
v
f
f
v
f
f
f
v
f
f
f

f
v
v
v
f
f
f
v
f
f
f
v
f
f

f
f
f
f
v
v
v
v
f
f
f
f
v
f

f
f
v
v
v
f
v
v
v
f
v
v
v
v

f
v
v
f
v
v
f
v
v
v
f
v
v
v

f
f
v
f
v
f
f
f
v
f
f
f
f
f

v
v
f
v
f
v
v
v
f
v
v
v
v
v

v
v
f
v
f
v
v
f
f
v
v
f
f
f

v
f
f
v
f
v
v
v
f
v
v
v
v
v

v
f
v
v
v
v
v
v
v
v
v
v
v
v

v
f
f
v
f
v
f
v
f
v
v
v
v
v

v
v
v
v
v
v
f
v
v
v
v
v
v
v

f
f
f
f
f
f
f
f
f
f
f
f
f
f

f
f
f
f
v
f
f
f
f
f
f
f
f
f

v
v
v
v
v
v
v
v
v
v
v
v
v
v

v
v
f
f
f
v
f
f
f
v
f
f
f
f

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Se busca obtener q
1. p
2. (qr)
3. (sq)
4. (tr)
5. (pt)
6. t(tr) ley de absorcin en 4.
7. t simplificacin en 5.
8. (tr) modus ponendo ponens en 6. y 7.
9. r simplificacin en 8
10. q modus tollendo ponens en 2. y 9.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Problema tablas de verdad e inferencia lgica

En la Universidad Nacional Abierta y a Distancia UNAD, se posee una
metodologa educativa que realmente forma profesionales competentes, a travs del
Aprendizaje Autnomo, para lo cual se debe ser muy disciplinado con los hbitos de
estudio adquiridos para cumplir con las actividades acadmicas. Milena se ha
esforzado por mantener un slido hbito de estudio, pero hay momentos en que sus
deberes son tantos, que no logra cumplir a cabalidad con las actividades del periodo
acadmico y se le presenta la siguiente situacin: Si el Director de Curso de
Pensamiento Lgico y Matemtico activa la etiqueta del Examen Nacional, entonces
desarrollar las demostraciones con las Leyes de Inferencia. Si el Director de Curso no
activa la etiqueta del Examen Nacional, har el trabajo final de Qumica General. Y si
aprovecho y hago el trabajo final de Qumica General, me pondr al da con las notas
pendientes. Por lo tanto, si no desarrollo las demostraciones con las Leyes de
Inferencia, me pondr al da con las notas pendientes de Qumica General.
Solucin:
Se hallan las variables o premisas
p: director activa la etiqueta
q: milena desarrolla las demostraciones
r: milena realiza el trabajo final de qumica
t: milena se pone al da
[(pq)(pr)](rt)(qt)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

10

p q r t [(pq) (pr)]

(rt)

(qt)

Como se muestra en la tabla el enunciado es una tautologa

Hallar (qt)
(1) (pq)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

11

(2) (pr)
(3) (rt)
(4) (qp) (aplico ley de contraposicin en (1))
(5) (qr) (aplico silogismo hipottico en (4) y (2)
(6) (qt) (aplico silogismo hipottico en (5) y (3)
el pensamiento es valido

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

12

Conclusiones
El desarrollo de este trabajo se dio con el fin de poner en practica todo lo
aprendido de las guas suministradas por la seora tutora, as como los conocimientos
adquiridos por cuenta propia sobre el tema de Lgica Proposicional, Tablas de Verdad
e Inferencia Lgica, y que a travs de la solucin de los diferentes problemas
propuestos, se evidencien y se guarden todos estos conocimientos.