ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 (2014 2)

Act. 10 TRABAJO COLABORATIVO No. 2
Nombre de curso: 90004 Lgica Matemtica
Temticas revisadas:
Unidad 2, Razonamiento deductivo e inductivo
Fecha de realizacin

Del 21 Octubre 23 Noviembre /2014

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.

1/8

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 (2014 2)

Problema de aplicacin
Los razonamientos lgicos que hemos estudiado se encuentran presentes 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:

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

2/8

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 (2014 2)

Fase 1.
1. A continuacin se presentan 10 proposiciones lgicas, se debe registrar
el valor de verdad de cada proposicin y su correspondiente justificacin:

No.

Proposicin

La
proposicin
es

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

Justificacin
(usando Reglas de Inferencia)

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

3/8

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 (2014 2)

Fase 2.
A continuacin, 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:

4/8

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 (2014 2)

Ejemplo para la fase 2.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:

Premisas:

Conclusin:

5/8

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 (2014 2)

Demostracin a partir de las tablas de verdad:
Primera forma:
Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin

Proposi
ciones
simples
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

Demostracin a partir de las leyes de inferencia:

premisa 1:
premisa 2:
premisa 3:
premisa 4:
____________________
Conclusin

6/8

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 (2014 2)

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:
premisa 2:
premisa 3:
premisa 4:
____________________
Conclusin

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:

7/8

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas

Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2 (2014 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 !

8/8