TRABAJO COLABORATIVO 2

LOGICA MATEMATICA

Presentado por: Jeremias Silva Falla

COD: 1075243928

Presentado a: Yeimy Julieth Moreno

Universidad Nacional Abierta y a Distancia

NEIVA-HUILA
01/05/2016
 INTRODUCCION

Con el fin de fortalecer conocimientos y el amplio desarrollo de las temáticas manejadas

desde la perspectiva tan amplia que maneja la lógica matemática; este informe está
basado principalmente en Simplificación disyuntiva, Absorción y De Morgan; donde se
le da un estudio minucioso de este tema en concreto.
Tarea 1: Simplificación disyuntiva, Absorción y De Morgan.
SIMPLIFICACIÓN DISYUNTIVA (SD)
Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo
consecuente, y sus antecedentes se corresponden con los dos miembros de una
disyunción, podemos concluir con el consecuente de ambas implicaciones.

pVq “Helado de fresa o helado de vainilla”

p→r “Si tomas helado de fresa, entonces repites”

q→r “Si tomas helado de vainilla, entonces repites”

____________________________________________________

r Luego, repite
ABSORCIÓN

La regla de absorción puede escribirse en la notación subsiguiente:

Donde es un símbolo meta lógico significando que es consecuencia

sintáctica de en algún sistema lógico; y expresado como una tautología o
teorema de la lógica proposicional. El principio fue establecido como un teorema de la
lógica proposicional por Russell y Whitehead en Principia matemática como:

Donde P, y Q son proposiciones expresadas en algún sistema lógico.

Si va a llover, entonces llevaré mi abrigo.
Luego, si va a llover entonces va a llover y llevaré mi abrigo.
LEYES DE MORGAN (DM)
Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir,
una conjunción en una disyunción. Cuando se pasa de una a otra, se cambian los valores
de afirmación y negación de los términos de la disyunción/conjunción así como de la
propia operación en conjunto, como podemos observar aquí:

pΛq pVq
___________ ____________

¬(¬p V ¬q) ¬(¬p Λ ¬q)

DE MORGAN

Traducir al lenguaje formal y probar la validez del siguiente razonamiento:

No es verdad que estudias y trabajas.

Si quieres conseguir dinero entonces trabajas.

Luego si estudias entonces no consigues dinero.

1. No es verdad que estudias y trabajas:
2. Si quieres conseguir dinero entonces trabajas:
Luego si estudias entonces no consigues dinero:

1.
2.

Solución:

3. Ley de Morgan en 1.
4. Sustitución del condicional en 3.
5. Transposición en 2.
6. Ley de transitividad entre 4 y 5.
En este último paso, alcanzamos la conclusión: , luego el razonamiento es
válido.
 BIBLIOGRAFIA

https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion
http://www.wikillerato.org/L%C3%B3gica_proposicional.html
https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)