UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas Tecnologa e Ingeniera

Programa Ingeniera Electrnica
Curso 90004-87

LOGICA MATEMATICA
TRABAJO COLABORATIVO 2

TUTOR: YEIMY JULIETH MORENO

Luis Alberto Tobn

C.C. 71382115

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

MEDELLIN
2014

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:
Dialogo de estudiantes
Juan:
Patricia:
Ana:
Diego:
Freddy:
Mara:
Jorge:
Tania:

Fase 1)

algunas personas pueden hacer algo por la paz.

No juan yodos podemos hacer algo por la paz.
0 hacemos algo por la paz o no queremos vivir en comunidad.
Si nos gusta que existan personas que hagan ropa. Entonces nos gusta vivir en
Comunidad.
Si nos gustan que existan medios. Entonces queremos vivir en comunidad.
a quin no le gusta vivir en comunidad?
si nos gusta vivir en comunidad, es necesario que respetemos las leyes de la
Comunidad.
podemos concluir que si respetamos las leyes de la comunidad. Entonces
Hacemos algo por la paz.

A continuacin se presentan 10 proposiciones lgicas, se debe registrar el

Valor de verdad de cada proposicin y su correspondiente justificacin:

Proposicin

La
proposicin
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.

V
V
F
F

Porque la proposicin tiene un

Cuantificador y tiene sentido.
Porque la proposicin tiene sentido y
tiene un valor e verdad.
Porque una pregunta no es una
Proposicin lgica.
Porque una conjuncin usa el conectivo
y y el enunciado no lo tiene.

10

De acuerdo con Freddy, si no nos

gusta vivir en comunidad,
Entonces no nos gusta que
existan mdicos.
De acuerdo con Ana, si no
queremos vivir en comunidad,
entonces no hacemos algo por la
Paz.
De acuerdo con Jorge, Si
respetemos las leyes de la
comunidad, entonces nos gusta
Vivir en comunidad.
De acuerdo con Freddy, Si nos
gusta vivir en comunidad, nos
Gusta que existan mdicos.
De acuerdo con Jorge, Si no nos
gusta vivir en comunidad,
Entonces no respetamos la ley.
De acuerdo con Ana, si hacemos
algo por la paz, queremos vivir
En comunidad.

Fase 2)

Porque en una implicacin si dos

proposiciones son falsas entonces es
Verdadera.

Porque las dos proposiciones son

Incluidas.

Porque hay dos afirmaciones correctas

del enunciado.

Porque una proposicin implica a la otra.

V
V
V

Porque en este enunciado si las dos

Proposiciones son falsas es verdadera.
Porque la disyuncin solo es falsa cuando
Todos sus enunciados son falsos.

A continuacin, analiza la validez de la conclusin planteada por Tania:

Declaracin de proposiciones simples:
P= respetamos las leyes de la comunidad Q= hacemos algo por la paz
Premisas: p q
Decimos que la Conclusin= q

Fase 2.1)

Demostracin a partir de las tablas de verdad forma 1:

P q pq (pq) NP ((pq) p) q
vfffv

Fase 2.2)

Demostracin a partir de las tablas de verdad forma 2:

P q pq pq p ((pq) p) q
vvvvv
vfffv
fvvfv
ffvfv

Fase 2.3)

Demostracin a partir de las leyes de inferencia:

Premisa 1: pq
Premisa 2: p
Conclusin: q
Fase 2.4)

Por reduccin al absurdo:

Premisa 1: p q = v
Premisas 2: p =v Conclusin q =F Si la conclusin es falsa en la premisa 1, entonces la
Premisa 2 es verdadera
Esto es una contradiccin

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=
q=
s=
t=

El benefactor fue Pedro

El benefactor fue Andrs
Pedro estaba presente
Pedro estaba de viaje

Premisas:
Premisa 1=
Premisa 2=
Premisa 3=
Premisa 4=

pvq
p --> s
t
t --> ~s

Conclusin: q
Demostracin a partir de las tablas de verdad:
Primera forma:
Proposiciones
simples

Premisa 1
s P v q

V
V

V
V

V
V

V F
F F

V
V

Premisa 2

Premisa 3

Premisa 4

Conclusin

Ps

t s

V
V

V
F

F
V

V
V

V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
F
F
F
F
V
V
V
V
F
F
F
F

F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V

V
V
V
V
V
V
V
V
V
V
F
F
F
F

F
F
V
V
F
F
V
V
V
V
V
V
V
V

V
F
V
F
V
F
V
F
V
F
V
F
V
F

V
V
F
V
V
V
F
V
V
V
F
V
V
V

V
V
F
F
F
F
V
V
V
V
F
F
F
F

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.
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
6. ~p
En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el
Razonamiento es vlido
Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa:
Si es posible entonces el razonamiento NO es vlido.
Premisa 1: p v q = V
Premisa 2: p --> s = V
Premisa 3: t = V

Premisa 4: t --> ~s= V

____________________
Conclusin q = F
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 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, si las premisas son verdaderas la conclusin es verdadera entonces el
Razonamiento es vlido.
Gracias.