ACTIVIDAD: 10

TRABAJO COLABORATIVO
Lgica matemtica.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD PASTONARIO-2014 II

Biologa

Pgina 1

INTRODUCCIN.
En el presente trabajo se estudiaran conceptos de razonamiento lgicos los cuales
son aplicados son aplicados para la solucin de problemas de nuestra vida diaria.
Argumentar si un punto de vista es valido o no depende de las funciones lgicas que
se establezcan a partir de las leyes de inferencia que se estudiaran a continuacin.

Biologa

Pgina 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
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 preposicin

Justificacin (usando reglas de inferencia)

No es un enunciado cientfico debido a que juan

esta dando su punto de vista, al tema que se esta
tratando.

La
preposicin
es V o F
El enunciado de F
Juan
es
un
enunciado
cientfico
El enunciado de V
Patricia es un
enunciado
cientfico

El enunciado de V
Mara es una
proposicin lgica

Biologa

Enunciado juan: P
El enunciado de patricia esta validando una idea global que
es cierta
En este caso p ^ q donde P es el enunciado de juan,
~P: donde el enunciado de juan esta siendo
contradicho.
Es un proposicin lgica debido a que tiene sentido
y coherencia con respecto a lo que sucede en el
mundo que nos rodea.

Pgina 3

P^Q: personas que viven y que no viven en comunidad

El enunciado de V
Diego expresa
una conjuncin

P: personas que viven en comunidad.

Q: personas que no viven en comunidad.
El aporte que hace diego es una conjuncin debido
a que su punto de vista se puede dividir y entender
de dos formas diferentes.
P^Q: personas que hacen ropa y viven en comunidad
P:personas que hacen ropa
Q:personas que viven en comunidad.

De acuerdo con V
Freddy,
si
no
nosgusta vivir en
comunidad,
entonces no nos
gusta que existan
mdicos.

Fredy hace una afirmacin que relaciona dos

puntos de vista diferentes por lo tanto al negarse
una se negara el otro y por lo tanto se obtendra el
mismo resultado de la afirmacin.

De acuerdo con V
Ana,
si
no
queremos vivir en
comunidad,
entonces
no
hacemos algo por
la
paz

Ana hace una afirmacin que relaciona dos puntos

de vista diferentes, por lo tanto al negarse una se
negara el mismo resultado de la afirmacin, esto
es conocido como conjetura.

De acuerdo con V
Jorge,
Si
respetemos
las
leyes
de
la
comunidad,
entonces
nos
gusta
vivir
en
comunidad.
De acuerdo con V
Freddy, Si nos
gusta
vivir
en
comunidad,
nos
gusta que existan
mdicos.

Las dos afirmaciones propuestas por Jorge validan

un punto de vista global que relaciona las leyes con
la comunidad por lo tanto ambas son afirmaciones
positivas.

Biologa

P: no nos gusta vivir en comunidad.

Q: no nos gusta que existan mdicos
P~Q

P: no queremos vivir en comunidad

Q: no hacemos algo por la paz
P~Q

P: respetamos las leyes de la comunidad.

Q: nos gusta vivir en comunidad
PQ
La afirmacin que nos da el enunciado se relaciona
directamente con la proposicin que presenta
freddy y ambas son positiva.
P: nos gusta vivir en comunidad
Q: nos gustan que existan medicos
PQ
Pgina 4

10

De acuerdo con V
Jorge, Si no nos
gusta
vivir
en
comunidad,
entonces
no
respetamos la ley.

El punto de vista presentado por Jorge relaciona

dos ideas positivas, el enunciado presentado
anteriormente presenta la idea de Jorge pero con la
negacin.

De acuerdo con V
Ana, si hacemos
algo por la paz,
queremos vivir
en comunidad

La proposicin presentada por ana relaciona dos

puntos de vista negativos, por lo tanto el enunciado
relaciona dos ideas negativas que engloban la idea
original de ana.

P: no nos gusta vivir en comunidad

Q: no respetamos la ley.
P~Q

P: hacemos algo por la paz

Q: queremos vivir en comunidad.

Fase 2.
A continuacin, analiza la validez de la conclusin planteada por Tania:
Premisa 1: algunas personas pueden hacer algo por la paz.
Premisa 2: no juan. Todos podemos hacer algo por la paz.
Premisa 3: o hacemos algo por la paz o no nos gusta vivir en comunidad.
Premisa 4: Si nos gusta vivir en comunidad, es necesario que respetemos las leyes
de la comunidad.

Declaracin de proposiciones simples:

p =algunas personas pueden hacer algo por la paz
q =todos podemos hacer algo por la paz.
r = no queremos vivir en comunidad
s = respetamos la leyes de la comunidad
Premisas en lenguaje simblico:
Premisa 1: p ^ q
Premisa 2: p s
Premisa 3: r
Premisa 4: r~ s
Conclusin en lenguaje simblico: q

Biologa

Pgina 5

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)
Proposiciones
simples
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

s
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

~q

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

Premisa 2

p s
V
V
F
F
V
V
F
F
F
F
V
V
F
F
V
V

Premisa
3
r
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

Premisa 4
t ~s
V
F
F
F
V
F
F
F
V
F
F
F
V
F
F
F

Conclusin

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

No se presenta casos en los cuales las premisas sean verdaderas y la conclusin sea
falsa por lo tanto el razonamiento es correcto.

Biologa

Pgina 6

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

(Evaluando si la conjuncin de las premisas implican laconclusin.)

[(Premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin

P1

P2

p ^q
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V

Biologa

p s
V
V
F
F
V
V
F
F
F
F
V
V
F
F
V
V

P3

P4

r
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

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

[(P1) ^ (P2) Conclusin [(P1) ^ (P2)

^ (P3) ^
^ (P3) ^
(P4)] --->
(P4)] --->
Conclusin
Conclusin

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

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

Pgina 7

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

Premisa 1: p^q
Premisa 2: p s
Premisa 3: r
Premisa 4: r ~s
Conclusin: q

Premisa 1: p^q
Premisa 2: p s
Premisa 3: r
Premisa 4: r ~s
______________________
5 : p s
6 :r

2, MP
3, MP

De otra manera:
Premisa 1: p^q
Premisa 2: p s
Premisa 3: r
Premisa 4: r ~s
______________________
5: r
6. p s
7: p^ q-> ~s
8: r

3, 4 MP, MTP
2, MP
1, AD, MTP
5,3,4
MP,
MTP

Fase 2.4: Por reduccin al absurdo:

Suponemos inicialmente que las premisas 123 y 4 sean verdaderas y la conclusin es
falsa. Analizando la premisa N 1 P^Q es falsa por lo tanto la suposicin que es
verdadera es incorrecta, analizando las premisas 23 y 4 cuyas soluciones son
verdaderas lo cual es incorrecto debido a que la conclusin inicial era falsa, por lo
tanto las cuatros preposiciones no son verdaderas ni la conclusin es falsa por lo
tanto el razonamiento es falso.

Biologa

Pgina 8

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:
p = el benefactor hubo de ser pedro
q = el benefactor hubo de ser andres
r = pedro estaba presente
s = pedro estaba de viaje
Premisas en lenguaje simblico:
Premisa 1: p v q
Premisa 2: p s
Premisa 3: r
Premisa 4:r~s
Conclusin en lenguaje simblico: q

Demostracin a partir de las tablas de verdad:

Primera forma:
Proposiciones
simples
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

s
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

Biologa

~r

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

Premisa 2
ps
V
V
F
F
V
V
F
F
F
F
F
F
F
F
F
F

Premisa
3
r
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

Premisa 4
r ~s
V
F
F
F
V
F
F
F
V
F
F
F
V
F
F
F

Conclusin

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
Pgina 9

No se presentaron casos en los cuales las premisas sean verdaderas y la conclusin

sea falsa por lo tanto el razonamiento es correcto.

Demostracin a partir de las leyes de inferencia:

Premisa 1: p v q
Premisa 2: p s
Premisa 3: r
Premisa 4:r ~s
____________________
Conclusin: q

Biologa

Pgina 10

CONCLUSIONES.
En el anterior trabajo pude observar que para determinar si una serie de premisas con
su conclusin es correcta , siempre y cuando con las generalidades de las leyes de
inferencia y sigan una estructura lgica que presente sentido y coherencia .

Biologa

Pgina 11

BIBLIOGRAFAS.
Mdulo de lgica 90004

Biologa

Pgina 12