TRABAJO COLABORATIVO 2

APORTE INDIVIDUAL

Presentado por:
YESSICA ANDREA MESA RINCON
CDIGO 1030580671

Grupo: 90004_69

Presentado a:
Tutor
BENJAMIN GONZALEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Administrativas, Contables,
Econmicas y de Negocios
Lgica Matemtica
Bogot D.C
Mayo De 2016
Ley de Simplificacin Disyuntiva
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 disyuncin, podemos concluir con el consecuente de ambas
implicaciones

PvQ
PR
QR
.. R

Dos premisas que se corresponden en forma disyuntiva (v), donde ambas

continan con una implicacin donde el consecuente es el mismo. Podemos
concluir con el consecuente de ambos.
Ej.:
Jessica sube a la rueda de la fortuna o a la montaa rusa
(R v O)
Jessica sube a la rueda de la fortuna, entonces se marea
(RM)
Jessica sube a la montaa rusa, entonces se marea
(OM)
Jessica se marea
(.. M)

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 disyuncin, podemos concluir con el consecuente de ambas implicaciones.

p V q 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

Ley de de Morgan

Las leyes de De Morgan declaran que la suma de n variables globalmente

negadas (o invertidas) es igual al producto de las n variables negadas
individualmente; y que inversamente, el producto de n variables globalmente
negadas es igual a la suma delas n variables negadas individualmente

(AvB) (A)^(B)

Esta Ley nos dice que la negacin global de dos o ms premisas unidas, es
equivalente a la negacin de dichas premisas en forma individual y viceversa
Ej.:
La negacin de: Si Karen sale o Francisco compra un obsequio
(KvF)
Karen no sale y Francisco no compra el obsequio.
(K)^ (F)

Las reglas pueden ser expresadas en un lenguaje formal con dos

proposiciones P y Q, de esta forma:

donde:
es el operador de negacin (NO)
es el operador de conjuncin (Y)
es el operador de disyuncin (O)
es un smbolo metalgico que significa "puede ser reemplazado en una prueba
lgica"
La regla de la negacin de la conjuncin se puede escribir en la subsiguiente
notacin:

La negacin de la regla de disyuncin se puede escribir como:

En forma de regla: negacin de la conjuncin

y negacin de la disyuncin

y se expresa como una tautologa verdad-funcional o teorema de lgica

proposicional:

donde ,y son proposiciones expresadas en algn sistema formal.

Ley de absorcin
Absorcin es una forma lgica de argumento vlido y una regla de inferencia de
la lgica proposicional.1 2 La regla establece que se implica , entonces
implica y . La regla hace posible introducir conjunciones en pruebas. Esto se
llama ley de absorcin ya que el trmino es "absorbido" por el trmino en
la consecuencia.
Formalmente:

o sea: siempre que aparezca una instancia de " " en una lnea de alguna
prueba, " " se puede concluir en la lnea siguiente.
La regla de absorcin puede escribirse en la notacin subsiguiente:

donde es un smbolo metalgico significando

que es consecuencia sintctica de en algn sistema

lgico;
y expresado como una tautologa o teorema de la lgica proposicional. El principio
fue establecido como un teorema de la lgica proposicional
por Russell y Whitehead en Principia mathematica como:

donde ,y son proposiciones expresadas en algn sistema lgico.

 Bibliografa

Silvia, S. A. (03 de 05 de 2016). Scrib. Obtenido de

https://es.scribd.com/doc/23816219/Tarea-Logica-Leyes-de-Inferencia

Wikipedia. (05 de 03 de 2016). Wikipedia. Obtenido de

https://es.wikipedia.org/wiki/Leyes_de_De_Morgan

Wikipedia. (05 de 03 de 2016). Wikipedia. Obtenido de

https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)