Lógica matemática.

Universidad nacional abierta y a distancia UNAD

Lógica Matemática

Grupo
90004_15

Trabajo colaborativo 2 Actividad 10

Tutor
Patricia Leguizamon P

Fabio Antonio González Muñoz

10698789
Fredy Omero Latorre Muñoz
10.592.214
Hernán Añasco Piedrahita
10.499.886
Oscar Eduardo Orejuela
Albert Quintana Montero
10697772

22 Noviembre de 2014
Lógica matemática. 2

Contenido
Introducción................................................................................................................................................. 3
Objetivos...................................................................................................................................................... 4
Fase 1. A continuación se presentan 10 proposiciones lógicas, se debe registrar el valor de
verdad de cada una de las proposiciones y su correspondiente justificación.............................. 5
Fase 2. A continuación analiza la validez de la conclusión planteada por Tania. ..................... 13
Fase 2.1. Demostración a partir de tabla de verdad forma 1 (Evaluando la existe del caso en
que las premisas sean verdaderas y la conclusión sea falsa)...................................................... 13
Fase 2.2. Demostrar a partir de tablas de verdad forma 2: (Evaluando si la conjunción de las
premisas implican la conclusión). ...................................................................................................... 14
Fase 2.2.1 Verificar con simulador .................................................................................................... 15
Fase 2.3. Demostración a partir de las leyes de inferencia. ......................................................... 15
Fase 2.4. Por reducción al absurdo .................................................................................................. 16
Ejemplos para la fase 2: ..................................................................................................................... 16
Conclusión ................................................................................................................................................ 20
Referencias Bibliográficas ...................................................................................................................... 21
Lógica matemática. 3

Introducción
Lógica matemática. 4

Objetivos
Lógica Matemática. 5

Problema de aplicación

Los razonamientos lógicos que hemos estudiado se encuentran presentes no son exclusivos
de los espacios académicos. Por el contrario, hacemos uso de éstos en el debate cotidiano
de ideas. A continuación se propone un diálogo 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 médicos, entonces queremos vivir en comunidad.
María: ¿A quién 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 continuación se presentan 10 proposiciones lógicas, se debe registrar el

valor de verdad de cada una de las proposiciones y su correspondiente justificación.

No. Proposición La Justificación

proposición (usando Reglas de
es Inferencia)
VoF

1 El enunciado de Juan es Verdadero Es una oración declarativa

un enunciado científico.
2 El enunciado de Patricia
es un enunciado científico.
3 El enunciado de María es
una proposición lógica.
4 El enunciado de Diego
expresa una conjunción.
5 De acuerdo con Freddy, si
no nos gusta vivir en
comunidad, entonces no
nos gusta que existan
médicos.
6 De acuerdo con Ana, si no
Verdadero Es una oración declarativa
Falso Ya que es una pregunta por
eso no es proposición lógica
Falso Por qué una conjunción lleva
la expresión (y, sin embargo)
y en lo que dice diego no
aplica.
Verdadero Implicación contra reciproca
Si no nos gusta vivir en
comunidad, entonces no nos
gusta que existan médicos.
¬q→(¬p)
Verdadero Implicación contra reciproca
Lógica Matemática. 6

queremos vivir en Si no nos gusta vivir en

comunidad, entonces no comunidad, entonces no nos
hacemos algo por la paz. gusta que existan médicos.
¬q→(¬p)
7 De acuerdo con Jorge, Si Verdadero Modus Ponendo Ponens
respetemos las leyes de la (MPP)
comunidad, entonces nos p= Si respetemos las leyes
gusta vivir en comunidad. de la comunidad,
q= entonces nos gusta vivir
en comunidad.

[(p --> q)^p]--> q= Si

respetemos las leyes de la
comunidad, entonces nos
gusta vivir en comunidad y
Si respetemos las leyes de
la comunidad, entonces nos
gusta vivir en comunidad.

8 De acuerdo con Freddy, Si Verdadero Conjunción

nos gusta vivir en p= Si nos gusta vivir en
comunidad, nos gusta que comunidad
existan médicos q= nos gusta que existan
médicos

p ^ q =nos gusta vivir en

comunidad y nos gusta que
existan médicos.
9 De acuerdo con Jorge, Si Verdadero Implicación contraria
no nos gusta vivir en Si no nos gusta vivir en
comunidad, entonces no comunidad, entonces no
respetamos la ley. respetamos la ley.
¬p→(¬q)
10 De acuerdo con Ana, si Verdadero Conjunción
hacemos algo por la paz, p= si hacemos algo por la
queremos vivir en paz
comunidad q= queremos vivir en
comunidad
p ^ q = si hacemos algo por
la paz y queremos vivir en
comunidad.
Lógica Matemática. 7

No. Proposición La Justificación

proposició (usando Reglas de Inferencia)
n es V o F
1 El enunciado de V algunas personas pueden hacer algo
Juan es un por la paz
enunciado científico
2 El enunciado de V No Juan. Todos podemos hacer algo
Patricia es un por la paz
enunciado científico
3 El enunciado de F El enunciado de María no es una
María es una oración aseverativa que pueda
proposición lógica determinarse como verdadera o falsa
4 El enunciado de F El enunciado de Diego es una
Diego expresa una condicional
conjunción pq
p: Si nos gusta que existan personas
que hagan ropa.
q: nos gusta vivir en comunidad
5 De acuerdo con V p: nos gusta que existan médicos
Freddy, si no nos q: queremos vivir en comunidad
gusta vivir en pq
comunidad, MTT Modus tollendo tollens
entonces no nos pq
gusta que existan ~q
médicos. ------------
∴ ~p
~q  ~p
6 De acuerdo con Ana, V O hacemos algo por la paz o no
si no queremos vivir queremos vivir en comunidad
en comunidad, p: hacemos algo por la paz
entonces no q: queremos vivir en comunidad
hacemos algo por la p v ~q
paz proposición planteada
~q  ~p
Modus tollendo ponens
p v ~q
~(~q)
------------
∴p
qp
Transposición
~q  ~p
7 De acuerdo con V Si nos gusta vivir en comunidad, es
Jorge, Si respetamos necesario que respetemos las leyes de
las leyes de la la comunidad.
comunidad, p: respetamos las leyes de la
Lógica Matemática. 8

entonces nos gusta comunidad

vivir en comunidad. q: nos gusta vivir en comunidad
pq
proposición planteada
pq
8 De acuerdo con F Si nos gusta que existan médicos,
Freddy, Si nos gusta entonces queremos vivir en comunidad
vivir en comunidad, p: nos gusta que existan médicos
nos gusta que q: queremos vivir en comunidad
existan médicos. pq
la proposición planteada es recíproca
qp
las proposiciones recíprocas no son
lógicamente equivalentes
9 De acuerdo con V “Si nos gusta vivir en comunidad, es
Jorge, Si no nos necesario que respetemos las leyes de
gusta vivir en la comunidad”
comunidad, p: respetamos las leyes de la
entonces no comunidad
respetamos la ley. q: nos gusta vivir en comunidad
pq
proposición planteada
~p  ~q
MTT Modus tollendo tollens
pq
~q
------------
∴ ~p
~q  ~p
La proposición planteada es
contrarecíproca
Son proposiciones lógicamente
equivalentes
10 De acuerdo con Ana, V “O hacemos algo por la paz o no
si hacemos algo por queremos vivir en comunidad”
la paz, queremos p: hacemos algo por la paz
vivir en comunidad q: queremos vivir en comunidad
p v ~q
Modus tollendo ponens
p v (~q)
~p
------------
∴ (~q)
~p  ~q
Transposición
pq
Lógica Matemática. 9

La Justificación
N Preposición proposición (usando Reglas de Inferencia)
o es V o F
Porque se basa en un silogismo
hipotético.
(p->q))

El enunciado de Juan V p:Algunas personas pueden

1 es un q: hacer algo por la paz
enunciado científico
p ->q
q___
q
El enunciado de Porque se basa en un silogismo
2 Patricia es un hipotético.
enunciado científico
v ¬ p ->(q->r))

p: No Juan. todos
q: podemos hacer
r: algo por la paz

¬p q
q r_
r
No puede determinarse proposición
lógica porque no determina un
resultado de falso o verdadero
(¬p∧q)
3 El enunciado de F
María es una ¬p:A quien no le gusta
proposición lógica q: vivir en comunidad

¬p∧q
__¬p____
¬p
4 El enunciado de El enunciado de diego es una
Diego expresa una F proposición lógica condicional
conjunción (p->q)

p:Si nos gusta que existan personas

que hagan ropa
q: entonces nos gusta vivir en
comunidad
p -->q
_ p___
p
Lógica Matemática. 10

5 Porque es un proposición lógica

condicional
¬ p ->q
De acuerdo con v
Freddy, si no nos ¬p: si no nos gusta vivir en
gusta vivir en comunidad,
comunidad, entonces ¬entonces no nos gusta que existan
no nos gusta que médicos.
existan médicos.
¬ p ->¬q
p____
p
Porque ambas premisas son falsas
pero una se plantea como verdadera
p ->¬q
De acuerdo con Ana,
6 si no F p: si no queremos vivir en
queremos vivir en comunidad.
comunidad, entonces q: entonces no hacemos algo por la
no hacemos algo por paz.
la paz
p -> ¬q
p____
¬q
Ambas premisas son verdaderas
v Lo que constituye una conjunción
De acuerdo con p q
Jorge, Si
7 respetemos las leyes p:Si respetemos las leyes de la
de la Comunidad.
Comunidad, q:entonces nos gusta vivir en
entonces nos gusta comunidad
vivir en comunidad.
p q
_ q__
q
Ambas premisas son verdaderas
Lo que constituye una conjunción
p q
De acuerdo con
Freddy, v p: Si nos gusta vivir en comunidad.
Si nos gusta vivir en q:nos gusta que existan médicos
comunidad, nos
8 gusta que existan p q
médicos. __q__
q
Lógica Matemática.
De acuerdo con
9 Jorge, Si no nos
gusta vivir en
comunidad,
Entonces no
respetamos la ley.
De acuerdo con Ana,
1 si hacemos algo por
0 la paz, queremos
vivir en comunidad
N° Proposición
1 El enunciado de Juan es un
enunciado científico
2 El enunciado de Patricia es un
enunciado científico
El enunciado de María es una
3 proposición lógica
4 El enunciado de Diego expresa
una conjunción
5 De acuerdo con Freddy, si no nos
gusta vivir en comunidad,
entonces no nos gusta que existan
médicos.
11
Aunque es un proposición lógica
condicional una de las premisas es
F verdadera y la otra falsa
p -> -q
p: Si no nos gusta vivir en
comunidad.
q: Entonces no respetamos la ley.
p -> -q
q__
q
Porque es una proposición lógica y
ambas determinan un factor
verdadero sobre la primer implicación
V falsa
-p -> -q
q: si hacemos algo por la paz.
q:queremos vivir en comunidad
-p -> -q
-q___
q
La Justificación
proposición (usando Reglas de
es Inferencia)
VoF
V La afirmación es un
enunciado universal que
se puede refutar.
V La afirmación es un
enunciado universal que
se puede refutar.
No es una No se puede determinar
proposición si es verdadero o falso.
F No es consecuente una
proposición con la otra.
V No se da el antecedente
y no se cumple el
consecuente.
Lógica Matemática. 12

6 De acuerdo con Ana, si no V No se da el antecedente.

queremos vivir en comunidad,
entonces no hacemos algo por la
paz
7 De acuerdo con Jorge, Si V El antecedente y el
respetemos las leyes de la consecuente se cumplen.
comunidad, entonces nos gusta
vivir en comunidad
8 De acuerdo con Freddy, Si nos V El antecedente y el
gusta vivir en comunidad, nos consecuente se cumplen
gusta que existan médicos
9 De acuerdo con Jorge, Si no nos V No se da el antecedente
gusta vivir en comunidad, entonces y no se cumple el
no respetamos la ley. consecuente.
10 De acuerdo con Ana, si hacemos V El antecedente y el
algo por la paz, queremos vivir consecuente se cumplen
en comunidad

No Proposición La Justificación
Proposición (usando reglas de
es Inferencias)
VoF
1 El enunciado de Juan es un F
enunciado científico
2 El enunciado de Patricia es un F
enunciado científico
3 El enunciado de María es una F
proposición lógica
4 El enunciado de Diego F M.P (P q) ^P q
expresa
una conjunción
5 De acuerdo con Freddy, si no V ~p ~q
nos gusta vivir en comunidad,
entonces no nos gusta que
existan médicos.
6 De acuerdo con Ana, si no V ~p ~q
queremos vivir en comunidad,
entonces no hacemos algo por m.t.t
la paz
7 De acuerdo con Jorge, Si V P q
Lógica Matemática. 13

respetemos las leyes de la m.p.p

comunidad, entonces nos
gusta vivir en comunidad.
8 De acuerdo con Freddy, Si nos V p q
gusta vivir en comunidad, nos m.p.p
gusta que existan médicos.
9 De acuerdo con Jorge, Si no V ~p ~q
nos gusta vivir en comunidad, m.t.t
entonces no respetamos la
ley.
10 De acuerdo con Ana, si V p q
hacemos algo por la paz, m.p.p
queremos vivir en comunidad

Fase 2. A continuación analiza la validez de la conclusión planteada por Tania.

Tania: podemos concluir que si respetamos las leyes de la comunidad, entonces hacemos
algo por la paz.

Declaración de proposiciones simples:

p= respetamos las leyes nos gusta vivir en comunidad

q= hacemos algo por la paz

Premisas:

Premisa 1: p Si respetamos las leyes de la comunidad (premisa menor)

Premisa 2: p→q Si respetamos las leyes de la comunidad, entonces hacemos algo por la
paz (premisa mayor)

Conclusión: q Hacemos algo por la paz

Demostraciones:
M.P:P
[(p --> q)^p]--> q = Si respetamos las leyes de la comunidad ENTONCES hacemos algo por
la paz y ocurre que respetamos las leyes de la comunidad CONCLUSION Hacemos algo por
la paz

Fase 2.1. Demostración a partir de tabla de verdad forma 1 (Evaluando la existe del caso
en que las premisas sean verdaderas y la conclusión sea falsa).
Lógica Matemática. 14

p q PREMISA 1 PREMISA 2 CONCLICION

p p →q q
V V V V V
V F V F F
F V F V V
F F F V F

Para determinar la validez del razonamiento solo analizamos las premisas y la conclusión.

Demostramos que no existe que las premisas sean verdaderas y la conclusión sea falsa, por
lo tanto el razonamiento es válido.

p q p q
v v v No existe un caso donde las premisas sean verdaderas y la
v f f conclusión sea falsa en el condicional.
f v v
f f v

Fase 2.2. Demostrar a partir de tablas de verdad forma 2: (Evaluando si la conjunción de

las premisas implican la conclusión).

p= si respetamos las leyes nos gusta vivir en comunidad

q= hacemos algo por la paz
p^q= si respetamos las leyes nos gusta vivir en comunidad y hacemos algo por la paz

p q PREMISA 1 PREMISA 2 CONCLICION

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

Demostramos que no existe que las premisas sean verdaderas y la conclusión sea falsa, por
lo tanto el razonamiento es válido.
Lógica Matemática. 15

Proposiciones simples Premisa 1 Premisa 2 Conjunción Conclusió

n
p q p pq p ˄ (p  q) q
V V V V V V
V F V F F F
F V F V F V
F F F V F F

p q (p q) p
v v v v
v f f f
f v f v
f f f v

Fase 2.2.1 Verificar con simulador

Fase 2.3. Demostración a partir de las leyes de inferencia.

MPP o Modus Ponendo Ponens

p= si respetamos las leyes nos gusta vivir en comunidad

q= hacemos algo por la paz

p →q = si respetamos las leyes de la comunidad, entonces hacemos algo por la paz.

p = si respetamos las leyes nos gusta vivir en comunidad

q = hacemos algo por la paz

[(p → q) ^p]→ q=

Si respetamos las leyes de la comunidad, entonces hacemos algo por la paz. Y si

respetamos las leyes nos gusta vivir en comunidad, entonces hacemos algo por la paz.

Premisa1 p
Premisa2 p q
Premisa 3 r q
Premisa 4 q

Conclusión s p
Lógica Matemática. 16

Fase 2.4. Por reducción al absurdo

Se da valor falso a la conclusión y verdadero a las premisas

p  q es verdadera
p es verdadera
q es falsa

Si q es falsa entonces ~q es verdadera

Premisa 1: p  q
Premisa 2: p
--------------------------
∴ ~q

p  ~q

La única forma de que p  ~q sea falsa es cuando p es verdadera y ~q falsa, en los demás
casos sería verdadera.

si p es verdadero y ~q es verdadero, entonces p  ~q es verdadero

En este caso, q es falso, con lo cual p  q toma el valor de falso

Premisa1 p
Premisa2 p q
Premisa 3 r q
Premisa 4 q

Conclusión s p

Ejemplos para la fase 2:

Diálogo:

El benefactor hubo de ser: o Pedro, o Andrés

- Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje.
En conclusión: tuvo que ser Andrés.

Declaración de proposiciones simples:

p = El benefactor es Pedro
Lógica Matemática. 17

q = El benefactor es Andrés

s = Pedro tuvo que estar presente

t = Pedro estaba de viaje

¬s= Pedro no estaba presente

Premisas:

Premisa 1: p v q

Premisa 2: p → s

Premisa 3: t

Premisa 4: t → ¬s

Conclusión: q

Demostración a partir de las tablas de verdad:

Primera forma:
Proposiciones Premisa Premisa Premisa Premisa 4 Conclusión
simples 1 2 3

p q s t ¬s pvq p→s t t →¬s q

V V V V F V V V F V
V V V F F V V F V V
V V F V V V F V V V
V V F F V V F F V V
V F V V F V V V F F
V F V F F V V F V F
V F F V V V F V V F
V F F F V V F F V F
F V V V F V V V F V
F V V F F V V F V V
F V F V V V V V V V
F V F F V V V F V V
F F V V F F V V F F
F F V F F F V F V F
F F F V V F V V V F
F F F F V F V F V F
Lógica Matemática. 18

No se encuentra el caso en donde las premisas sean verdaderas y la conclusión sea falsa,
por lo tanto el razonamiento es válido.

Proposiciones Premis Premisa Premisa Premisa Conclusió

simples a 2 3 4 n
1
p q s t ~s pvq p --> s t t --> ~s q
V V V V F V V V F V
V V V F F V V F V V
V V F V V V F V V V
V V F F V V F F V V
V F V V F V V V F V
V F V F F V V F V V
V F F V V V F V V V
V F F F V V F F V V
F V V V F V V V V V
F V V F F V V V F V
F V F V V V V V V V
F V F F V V V V V V
F F V V F F V V F V
F F V F F F V V V V
F F F V V F V V V V
F F F F V F V V V V

Demostración a partir de las leyes de inferencia:

Premisa 1: p v q
Premisa 2: p --> s
Premisa 3: t
Premisa 4: t --> ~s
____________________
Conclusión :q

P: el benefactor
Q: hubo de ser
S: o pedro, o Andrés
Lógica Matemática. 19

T: si hubiera sido pedro

¬S: tuvo que estar presente, pero estaba de viaje.

Conclusión: tuvo que ser Andrés.

Prueba formal de validez

p -> q v ( p -> q) -> q primera premisa

p --> s ∧ (p --> s) -> s segunda premisa
p --> t ∧( p --> t) -> t tercera premisa
t-> ~s ∧ (t-->~s) -> ~ s cuarta premisa
_________________________________________
. . q : conclusión
.

Operación

P
___ q_____ modus ponendo ponnesn
• • pvq
•

p --> s
_ p___ modus ponendo ponnesn
• • s
•

p --> t
___p___ modus tollendo ponnesn
• • t
•

t --> ~s
_~s____ modus tollendo ponnesn
• • ~t
•
Demostración por reducción al absurdo (Método abreviado o prueba formal de
Invalidez): Suponemos que es posible que las premisas sean verdaderas y la conclusión
falsa: Si es posible entonces el razonamiento NO es válido
Lógica Matemática. 20

Conclusión
Lógica Matemática. 21

Referencias Bibliográficas

http://es.slideshare.net/pgandarilla/leyes-de-lgica