Está en la página 1de 4

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.
p V q Helado de fresa o helado de vainilla
p entonces r Si tomas helado de fresa entonces repites
q entonces r Si tomas helado de vainilla entonces repites
r Luego, repites

LEY DE SIMPLIFICACION DISYUNTIVA (DP)


Nos permite pasar de dos premisas a la conclusin, esta regla se aplica siempre
que se d una proposicin condicional y se d precisamente el consecuente. La
misma regla se aplica tanto si el antecedente y consecuente es una proposicin
atmica como molecular.
P Q
P
---------.: Q

(1) P V M T & Q
(2) P V M
_____________________
.: (3) T & Q
PP 1.2

EJ: Si esta planta no crece, entonces o necesita ms agua o necesita mejor


abono. Esta planta no crece.
P: esta planta crece.
Q: necesita ms agua.
A: necesita mejor abono
PQVA
P
______________
.: Q V A
En palabras podemos concluir que esta planta necesita ms agua o ms abono 1

1 http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-pq-modus.html

3.- Ley de Morgan


Tiene dos formas en las que se puede aplicar la ley. A partir de una proposicin en
conjuncin negada, se puede obtener la negacin de cada uno de los conjuntivos pero
cambiando el conectivo a disyuncin, pero cambiando el conectivo a conjuncin.
[~(P ^ Q)] (~P v ~Q) negacin de la conjuncin
o bien
[~(P v Q)] (~P ^ ~Q) negacin de la disyuncin

1. ~ (p q) ~ p ~ q A continuacin se muestra en su tabla correspondiente:

Leyes De Implicacin y Equivalencia


https://argumentosdevalides.wordpress.com/

Leyes del Morgan2


Las Leyes de Morgan permiten:
1. El cambio del conjuntor en disyuntor y viceversa.
2. Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes
de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).
La estrategia general a seguir en la aplicacin de las leyes de Morgan es el
siguiente:

http://www.paginasobrefilosofia.com/html/derivada.html

3. Si nos encontramos con una proposicin conjuntiva totalmente negada, la


ley de Morgan nos permite transformarla en una proposicin disyuntiva con
cada uno de sus miembros negados.
SU ESQUEMA ES EL SIGUIENTE:
(P Q) ( P Q)
4. Si nos encontramos con una proposicin disyuntiva totalmente negada, la
ley de Morgan nos permite transformarla en una proposicin disyuntiva con
cada uno de sus miembros negados.
SU ESQUEMA ES EL SIGUIENTE:
(P Q) ( P Q)
5. Si nos encontramos con una proposicin conjuntiva afirmada, la ley de
Morgan nos permite transformarla en una proposicin disyuntiva negada en
su totalidad y en sus miembros.
SU ESQUEMA ES EL SIGUIENTE:
(P Q) ( P Q)
6. Si nos encontramos con una proposicin disyuntiva afirmada, la ley de
Morgan nos permite transformarla en una proposicin conjuntiva negada
en su totalidad y en sus miembros.
SU ESQUEMA ES EL SIGUIENTE:
(P Q) ( P Q)

Ejemplo: Demostrar las Leyes de De Morgan.


(a) (p q) p q
(b) (p q) p q
Solucin:
(a) (p q) p q. En efecto, si (p q) es verdad, entonces p q es falso luego
p y q son, ambas, falsas y, por lo tanto, p es verdad y q es verdad. Consecuentemente,
p q es verdad. Por otra parte, si (p q) es falso, entonces p q es verdad luego
una de las dos proposiciones ha de ser verdad y su negacin falsa, luego p q es, en
cualquier caso, falso.
(b) (p q) p q En efecto, si (p q) es verdad, entonces p q es falso luego
una de las dos proposiciones ha de ser falsa y su negacin verdad, luego p q es
verdad en cualquiera de los casos. Por otra parte, si (p q) es falso, entonces p q es

verdad, luego p es verdad y q es verdad, de aqu que p y q sean, ambas, falsas y,


consecuentemente, p q sea falso3

Ejemplo:
Si va a llover, entonces llevar mi abrigo.
Luego, si va a llover entonces va a llover y llevar mi abrigo.

Demostracin por tabla de verdad

3 Francisco Jos Gonzlez Gutirrez (2005). Recuperado de

http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion
1.pdf

También podría gustarte