TRABAJO COLABORATIVO 2

PRESENTADO A:
EDWIN ANDRES MURILLO F

PRESENTADO POR:
NINI JOHANA PEREZ

UNIVERSIDAD ABIERTA

A DISTANCIA UNAD

SOGAMOSO
2012

INTRODUCCION

Para el ser humano es de vital importancia la interaccin con sus semejantes,

pues somos sociables por naturaleza. Por esta razn, al iniciar un proceso
educativo como lo es el mtodo virtual de la UNAD, se puede prestar para
investigar, analizar y estudiar los mdulos del curso; por esta razn mediante
este trabajo se busca como objetivo no solo la aplicacin del conocimiento
adquirido en el segundo mdulo, sino adems el trasladar estos conceptos a
situaciones de nuestra vida cotidiana.

El siguiente trabajo tiene como objetivo comprender y profundizar sobre la

importancia del estudio dela LGICA en nuestras vidas, para lo cual es
necesario realizar un recorrido por las distintas nociones de esta disciplina, con
el fin de acercarnos un poco a su complejidad. Se podr ver los conocimientos
adquiridos durante la unidad dos del mdulo, en el desarrollo de las
expresiones booleanas con sus funciones lgicas, sus simplificaciones y las
representaciones en un circuito ON y AND con su respectivo mapa de
karnaugh.

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

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

no se expresa como oracin declarativa

El enunciado de Patricia es un
enunciado cientfico

Se expresa como oracin declarativa

El enunciado de Mara es una

proposicin lgica

Es un razonamiento verdadero

El enunciado de Diego expresa

una conjuncin

Son enlaces con funcin coordinante

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

Es un razonamiento unilateral

f
Se expresa con declarativa

v
Es una proposicin lgica

v
v
f
v

Es un razonamiento verdadero

Es una proposicin empricamente falsa

Se expresa como oracin declarativa

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
premisa 1: p v q
premisa 2: p --> s
premisa 3:t
premisa 4
t --> ~s
____________________
8.~s 3, 4 MPP
9. ~ p 5, 2 MTT
10.q 6,1 S.D

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.

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/0
3tablasvdad/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.

P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F

R
V
F
V
F
V
F
V
F

P
V
V
F
F
V
V
V
V

QR
V
F
F
F
F
F
F
F

CONCLUSIONES

Es muy grato entender despus de terminar este ejercicio prctico, la cantidad de usos que
tiene la lgica matemtica, sabemos que ser una herramienta muy valiosa en nuestras
vidas profesionales.