LOGICA MATEMATICA

TRABAJO COLABORATIVO

Grupo 172 _Act_Col1

Tutor
JUAN DAVID MEJIA

Universidad Nacional Abierta y a Distancia UNAD

Programa: Ciencias Bsicas.
2016

Leyes de Morgan
Las Proposiciones Una proposicin es una afirmacin que puede recibir un valor de
verdad falso (F),o bien verdadero (V), pero no ambos a la vez. Su denotacin
generalmente la encontramos con las letras (p, q, r) Conectores Lgicos Podemos
formar nuevas proposiciones a partir proposiciones dadas mediante el uso de conectivos
lgicos. Algunos de ellos son:
^ y conjuncin
v o disyuncin
> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin
Leyes de Morgan Son una parte de la Lgica proposicional, analtica, y fueron creada
por Augustus de Morgan. Estas declaran las reglas de equivalencia en las que se
muestran que dos proposiciones pueden ser lgicamente equivalentes.
Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir,
una conjuncin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores
de afirmacin y negacin de los trminos de la disyuncin/conjuncin as como de la
propia operacin en conjunto, como podemos observar aqu:
pqpVq
___________ ____________
(p V q) (p q)

Ejemplo: Dadas las condiciones escritas antes de la raya, qu podemos concluir?

Si llueve hay nubes.
Hay nubes.
-------------

Si haces la tarea te llevo al cine.

Lo vimos en el cine.
---------------------
Si se hace el experimento en un saln de clases o con un grupo de personas, en el primer
caso todos contestan que no se sabe pues puede o no llover. Sin embargo en el segundo
caso casi todos coinciden en que s hay conclusin y que se est seguro que hizo la
tarea.
Analicemos los casos simblicamente, en el primero:
p: llueve
q: hay nubes
Con smbolos queda:
pq
q
------
En el segundo caso
p: hacer la tarea
q: llevarlo al cine
----------
Con smbolos:
pq
q
------
Observamos que en ambos casos es la misma estructura del argumento, por lo que en
los dos casos se puede sacar conclusin vlida o en ninguno. Pero no es posible que en
uno s y en el otro no.

En absorcin de Morgan se aplica siguiente manera (iii) Absorcin:

(7a) a + (a * b) = a (7b) a * (a + b) = a
Leyes de absorcin:
P (P Q) P
P (P Q) P
P (P Q) (P V ) (P Q) Ley de identidad
P (V Q) Ley distributiva
P V Ley de dominacin
P Ley de identidad

SIMPLIFICACIN 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
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