ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Act. 10 TRABAJO COLABORATIVO No. 2
Nombre de curso: 90004 Lgica Matemtica
Temticas revisadas:
Unidad 2, Razonamiento deductivo e inductivo
Polticas para el desarrollo de la actividad:
Tres son las condiciones que deben ser cumplidas para recibir nota por el desarrollo de
este trabajo colaborativo:
1. Que el estudiante presente una solucin individual oportuna de la actividad
2. Que el estudiante tenga participaciones significativas, continuas y oportunas
debatiendo sus propuestas con las propuestas de sus compaeros.
3. Que el equipo haya hecho entrega de un producto final consolidado en la plantilla
diseada con este fin.
Este trabajo se compone de dos fases con una sola entrega de documento final. El equipo
de trabajo colaborativo debe entregar un nico documento-informe que presente la tarea
grupal propuesta.
Los participantes debern fijar las reglas de funcionamiento del equipo, cuidando de
planificar el tiempo disponible hasta la entrega del trabajo, determinando los distintos
pasos que hay que completar y el tiempo disponible para cada uno de ellos.

GUA DE ACTIVIDADES
Profundizacin de la Unidad 2: Queridos estudiantes, a travs de esta actividad
realizaremos el proceso de transferencia de los temas de la segunda unidad. Para
lograrlo desarrollaremos la actividad 10, la cual est dividida en dos fases con una nica
entrega de trabajo final, tengan en cuenta que el equipo de trabajo colaborativo debe
plantear fechas lmite de participacin para la solucin de cada etapa. De la participacin
activa depender la evaluacin de su desempeo por parte del tutor asignado al equipo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

1/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Problema de aplicacin
Los razonamientos lgicos que hemos estudiado, no son exclusivos de los espacios
acadmicos. Por el contrario, hacemos uso de stos en el debate cotidiano de ideas. A
continuacin se propone un dilogo entre varios estudiantes de la UNAD, debes analizar
este dialogo para dar respuesta a las fases 1 y 2:
Dilogo:

Juan:

algunas personas pueden hacer algo por la paz.

Patricia:

No Juan. Todos podemos hacer algo por la paz.

Ana:

O hacemos algo por la paz o no queremos vivir en comunidad.

Diego:

Si nos gusta que existan personas que hagan ropa, entonces nos gusta
vivir en comunidad.

Freddy:

Si nos gusta que existan mdicos, entonces queremos vivir en

comunidad.

Mara:

A quin no le gusta vivir en comunidad?

Jorge:

Si nos gusta vivir en comunidad, es necesario que respetemos las leyes

de la comunidad.

Tania:

podemos concluir que si respetamos las leyes de la comunidad,

entonces hacemos algo por la paz

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

2/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Fase 1) A continuacin se presentan 10 proposiciones lgicas, debes analizar el
valor de verdad de cada proposicin y registrar su valor. Tambin debes registrar la
justificacin de por qu se asign dicho valor.

No.

Proposicin

La
proposici
n es

Justificacin

VoF
1

El enunciado de Juan es un
enunciado cientfico

El enunciado de Patricia es un
enunciado cientfico

El enunciado de Mara es una

proposicin lgica

El enunciado de Diego expresa

una conjuncin

De acuerdo con Freddy, si no nos

gusta vivir en comunidad,
5
entonces no nos gusta que existan
mdicos.
De acuerdo con Ana, si no
queremos vivir en comunidad,
6
entonces no hacemos algo por la
paz
De acuerdo con Jorge, Si
respetemos las leyes de la
7
comunidad, entonces nos gusta
vivir en comunidad.
De acuerdo con Freddy, Si nos
8 gusta vivir en comunidad, nos
gusta que existan mdicos.
De acuerdo con Jorge, Si no nos
9 gusta vivir en comunidad,
entonces no respetamos la ley.
De acuerdo con Ana, si hacemos
10 algo por la paz, queremos vivir
en comunidad

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

3/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Fase 2) A continuacin, usando como referencia el dilogo propuesto, analiza la
validez de la conclusin planteada por Tania:
Declaracin de proposiciones simples:
Premisas:
Conclusin:
Demostraciones:
Fase 2.1: Demostracin a partir de las tablas de verdad forma 1 :
(Evaluando la existe del caso en que las premisas sean
verdaderas y la conclusin sea falsa)
Fase 2.2: 2.2.1. Demostracin a partir de las tablas de verdad forma 2:
(Evaluando si la conjuncin de las premisas implican la
conclusin.)
2.2.2. Verificacin con simulador
Fase 2.3: Demostracin a partir de las leyes de inferencia:
Fase 2.4: Por reduccin al absurdo:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

4/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Ejemplo para la fase 2:

Dilogo:
El benefactor hubo de ser: o Pedro, o Andrs
- Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje.
En conclusin: tuvo que ser Andrs.

Declaracin de proposiciones simples:

p = El benefactor fue Pedro
q = El benefactor fue Andrs
s = Pedro estaba presente
t = Pedro estaba de viaje
Premisas:
premisa 1: p v q
premisa 2: p --> s
premisa 3: t
premisa 4: t --> ~s
Conclusin: q

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

5/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Demostracin a partir de las tablas de verdad:
Primera forma:
Proposi
ciones
simples

Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin

p q s t ~s

pvq

p --> s

t --> ~s

V V VV F

V V VF F

VVFV V

VVFF V

V F VV F

V F VF F

VF FV V

VF FF V

F V VV F

F V VF F

F VFV V

F VFF V

F F VV F

F F VF F

F F FV V

F F FF V

No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo
tanto el razonamiento es vlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

6/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Segunda forma:
Se deja como ejercicio al estudiante como aporte individual para el debate, verificar que al
construir la tabla de verdad del ejemplo propuesto:
[(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin
Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la
conclusin y por lo tanto el razonamiento es vlido.
Simulador:
Haciendo uso del siguiente simulador, podrs verificar el desarrollo de las tablas de
verdad:
http://www.isftic.mepsyd.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03tablas
vdad/generadorfrset.html
Recuerda que en el material de apoyo para la segunda unidad est el enlace a un video
con la explicacin de como usar el simulador.

Demostracin a partir de las leyes de inferencia:

premisa 1: p v q
premisa 2: p --> s
premisa 3: t
premisa 4: t --> ~s
____________________
5. ~s 3, 4 MPP
6. ~p 5, 2 MTT
7. q 6,1 S.D
En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el
razonamiento es vlido.

Demostracin por reduccin al absurdo (Mtodo abreviado o prueba formal de

invalidez):
Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa:
Si es posible entonces el razonamiento NO es vlido.
premisa 1:
pvq =V
premisa 2:
p --> s = V
premisa 3:
t
=V
premisa 4:
t --> ~s= V
____________________
Conclusin q
=F
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co
PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

7/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

De acuerdo con la conclusin q es Falsa, y de acuerdo con la premisa 3 t es verdadera.
Esto obliga a que de acuerdo con la premisa 4, s sea Falsa. Si s es Falsa, de acuerdo
con la premisa 2, p tiene que ser falsa. Pero con p Falsa y con q Falsa no se cumple que
la premisa 1 sea verdadera, luego, llegamos a una contradiccin.
En conclusin, del anlisis por reduccin al absurdo se concluye que no es posible que
cuando las premisas sean verdaderas, la conclusin sea falsa, por lo tanto el
razonamiento es vlido.

Ms material de apoyo:
Para dar solucin a esta actividad debes apoyarte en el mdulo, en la lectura a que
viene la lgica y en el material de apoyo para la unidad 2:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

8/9

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Especificaciones del documento final del trabajo:

Portada con los nombres y nmeros de documento de

identificacin de los integrantes que fuera de la fase 1,
debatieron los aportes para la solucin del problema.

Introduccin (al contenido que el lector encontrar en el

trabajo) Recuerda que no es la introduccin al curso de lgica,
es la introduccin al trabajo desarrollado

Desarrollo de la actividad

Conclusiones especficas relativas a la solucin de los

problemas

Referencias bibliogrficas usadas. Estas referencias deben

tener formato APA, las referencias de documentos tomados de
Internet tambin llevan formato APA (apellido, nombre, ao
entre parntesis, ttulo en itlica, institucin, editorial, ciudad).

RECUERDA:
En la portada slo debe figurar el nombre completo, y documento de identificacin de los
estudiantes que participaron activamente en el desarrollo de la actividad.
Formato del archivo:
1. El archivo debe adjuntarse a travs de este foro por un integrante del equipo en el
tema creado para ello por el tutor del equipo.
2. El archivo debe tener el nombre: Nmero_del_equipo_Act_10. Por ejemplo, si su
grupo es el 21, el nombre de su archivo ser: 21_Act_10 sin usar caracteres
especiales como tildes o puntos.
3. Entregar el archivo en formato pdf

! XITOS EN EL DESARROLLO DE LA ACTIVIDAD !

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

9/9