LGICA MATEMTICA.

TRABAJO COLABORATIVO 2
UNIDAD 2

Presentado por:
LISSETH TERESA CONTRERAS GARCA.
CODIGO: 1094265872

TUTOR:
LUCIO ANTONIO MAYA MUOZ.

GRUPO: 9004-868

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PAMPLONA NORTE DE SANTANDER.
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:
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.
1. A continuacin se presentan 10 proposiciones lgicas, se debe registrar el
valor de verdad de cada proposicin y su correspondiente justificacin:

No
.

Proposicin

El enunciado de Juan
es
un
enunciado
1
cientfico

La
proposi
cin es

Vo
F
F

El enunciado de Patricia
es
un
enunciado
2
cientfico

El enunciado de Mara es
una proposicin lgica

El enunciado de Diego
expresa una conjuncin

3
4

Justificaci
n
Porque en los enunciados cientficos se
deben referirse a una sola entidad o
individuo o un grupo finito y se escribe
en lenguaje universal
Porque se est refiriendo a un grupo
finito y su razonamiento es inductivo el
cual podemos refutar
No tiene una conclusin definida o sea
no se puede decir si es verdadera o
Las premisasfalsa
no expresan una
conjuncin sino una implicacin
Las premisas son verdaderas, y se
utiliza una implicacin condicional y
contra reciproca

De acuerdo con Freddy, si

no nos gusta vivir en
5
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

Las premisa no son equivalentes ya

que en el enunciado de Ana
encontramos la disyuncin, el
condicional y la negacin

De acuerdo con Jorge, Si

respetemos las leyes de
7
la comunidad, entonces
nos
gusta
vivir
en
comunidad.
De acuerdo con Freddy, Si

Implicacin recproca y condicional

gusta
vivir
en
8 nos
comunidad, nos gusta
que
existan mdicos.
De acuerdo
con Jorge, Si

9 no nos gusta vivir en

comunidad, entonces no
respetamos
ley. Ana, si
De acuerdola con

Las premisas son verdaderas por lo

tanto la conclusin es falsa, ya que se
est negando un condicional

10 hacemos algo por la paz,

queremos
vivir
en
comunidad

No est la disyuncin ni la negacin

Por qu no existe un condicin y esta

reciproca

Fase 2
A continuacin, analiza la validez de la conclusin planteada por Tania:
Podemos concluir que si respetamos las leyes de la comunidad, entonces
hacemos algo por la paz
Declaracin de proposiciones simples:
p = respetamos las leyes de la comunidad
q= hacemos algo por la paz
Premisas:
1

p q

Conclusin:

Fase 2.1: demostracin a partir de las tablas de verdad forma1

(Evaluando la existente del caso en que las premisas sean verdad y la
conclusin sea falsa).

Fase 2.2: 2.2.1 demostracin a partir de las tablas de verdad forma 2:

(Evaluacin si la conjuncin de las premisas implican la conclusin).
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 se Andrs.
Declaracin de proposiciones simples:
p= benefactor es Pedro
q = benefactor es Andrs
s= Pedro estaba presente
t= Pedro estaba de viaje
Premisas:

Premisa 1

p q

Premisa 2

p s

Premisa 3

Premisa 4

t s

Conclusin q
Demostracin

Proposiciones
simplex
p
q
s
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

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

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

t
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

~
s
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V

Premisa
1
p q

Premisa
2
p s

Premisa
3
t

Premisa
4
t ~s

Conclusi
n
q

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

V
V
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
F

F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
v

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

No existe el caso en donde las premisas sean verdaderas y la conclusin sea

falsa, por lo tanto el razonamiento es vlido.

2.2.2 verificacin con simulador

Fase 2.3. Demostracin a partir de las leyes de inferencia:

Declaracin de proposiciones simples:
p= benefactor es Pedro
q = benefactor es Andrs
Premisas:
Premisa: 1 p q
Premisa 2: ~ p
Conclusin: q

Fase 2.4: por reduccin al absurdo

Premisas:
Premisa 1

p q=V

Premisa 2

p s=V

Premisa 3

t=V

Premisa 4
Conclusin

t s=V

q=F