LGICA MATEMTICA

ACTIVIDAD DIEZ: Trabajo colaborativo dos

Tutor
ELBER FERNANDO CAMELO

CLAUDIA DEL PILAR MORA VANEGAS 1012331180

90004 GRUPO _18

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA _ UNAD

AGRONOMA
DICIEMBRE 2014
PROBLEMAS DE APLICACIN

1. 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 nos gusta 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 uno

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

verdad de cada proposicin y su correspondiente justificacin:

Proposicin
N
1

2
3

El enunciado de Juan es un
enunciado cientfico.
El enunciado de Patricia es
un enunciado cientfico
El enunciado de Mara es
una proposicin lgica

La
proposici
n es V o F

V
F

Justificacin (usando reglas de

inferencias)
Para
ser
cientfico
debe
escribirse en forma universal
Por la utilizacin de la palabra
TODOS, est indicando que sea
universal lo cual es caracterstico
de los enunciados cientficos.
Es una expresin interrogativa, lo
cual no permite indicar si es
verdadera o falsa, para ello debe

4
5

10

El enunciado de Diego
expresa una conjuncin
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.

ser declarativa.
Porque indica una proposicin
condicional
Porque es una implicacin contra
recproca, y las dos
preposiciones son verdaderas.

Por M.P, las dos proposiciones

son verdaderas y habr un efecto
y una accin.
Porque es una implicacin contra
recproca, y las dos
preposiciones son verdaderas.
Por M.P, son la negacin de las
dos proposiciones por lo tanto si
se niega la causa el efecto ser
tambin negado.
Por M.P, las dos proposiciones
son verdaderas y habr un efecto
y una accin.

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

Tania: podemos concluir que si respetamos las leyes de la comunidad, entonces
hacemos algo por la paz
Declaracin de proposiciones simples:
p= Si Respetamos las leyes de la comunidad. (Sale del enunciado)
q= Hacemos algo por la paz (Sale del enunciado)
r= Nos gusta vivir en comunidad (Sale del contexto de la conversacin)
Premisas:
1. p
2. p
3. (p

q
q)

Conclusin:
r= Nos gusta vivir en comunidad
Demostraciones:
Fase 2.1
Demostracin a partir de las tablas de verdad forma 1:
(Evaluando si existe del caso en que las premisas sean verdaderas y la
conclusin sea falsa)
2n=23 =8

Premisa 1
p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
V
F
F
F
F

Fase 2.2:

Premisa 2
p
q
V
V
F
F
V
V
V
V

Premisa 3
(p
q)
r
Conclusin
V
F
F
V
V
F
V
F

2.2.1. Demostracin a partir de las tablas de verdad forma 2:

(Evaluando si la conjuncin de las premisas implican la conclusin)
p

p
V
V
V
V
F
F
F
F

q
q
V
V
F
F
V
V
F
F

Conjuncin de las premisas

r
V
F
V
F
V
F
V
F

p ^q
V
V
F
F
F
F
F
F

(p ^q) ^r
V
F
F
F
F
F
F
F

Conclusin Anterior
V
F
F
V
V
F
V
F

Con lo anterior se muestra que la conjuncin de las premisas no implica la

conclusin.
2.2.2. Verificacin con simulador
(p

q)

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

Premisas elementales:
1. p
2. p
3. (p

q
q)

Conclusin:
Premisa 4: q

de 1,2 M.P.P

2. p
3. (p

q
q)

Premisa 5: r

de 2,3 M.P.P

Con lo anterior se demuestra por M.P.P que la conclusin es verdadera.

Fase 2.4: Por reduccin al absurdo:
Suponemos que la hiptesis (p

q) es verdadera

Suponemos que la tesis el r. Verdadera

Tenemos

p
V
F
F

q
V
V
F

(p

q)
V
V
V

r
F
F
F

(p

q)

r
F
F
F

Por lo tanto llegamos a un absurdo, ya que la tesis es verdadera y llegamos a la

conclusin de que es falsa.