LGICA Y FUNCIONES

LEYES DEL ALGEBRA PROPORCIONAL

1. LEY DE IDEMPOTENCIA:
Por esta ley se reducen las variables redundantes a una sola. Se aplica a esquemas
conjuntivos y disyuntivos. As tenemos:

PP P
PP P
Por Ejemplo:
La proposicin : El lobo es mamfero as tambin es mamfero:
Es equivalente por idempotencia a: El lobo es mamfero:

La proposicin: La lgica es exacta excepto que es exacta:

Es equivalente por idempotencia a: La lgica es exacta:

PP

PP

2. CONMUTATIVA:
Estas equivalencias nos indican que si se permutan los componentes de las
conjunciones, disyunciones su resultado no se altera acomodar apara darle forma al
ejercicio As tenemos:

pqq p
pq q p
Por ejemplo: La proposicin: La amoxicilina es una antibitico a pesar que el

pq

naproxeno es un analgsico.
La proposicin equivale por conmutacin, es:
El naproxeno es un analgsico es un analgsico a pesar que la amoxicilina es un
antibitico

q p

3. ASOCIATIVA :
Los elementos de igual jerarqua de un esquema conjuntivo, disyuntivo ser
pueden agrupar indistintamente unos con otro.
En la aplicacin de la equivalencia, lo nico que cambia es la posicin de los
signos de agrupacin.

IESTP LATINOAMERICANO

LGICA Y FUNCIONES

p q r p q r
p q r

p q r

4. DISTRIBUTIVA:
Esta ley consiste en distribuir una variable (o una formula parcial) que este unida por
una conjuncin a un esquema molecular .Es muy similar a la multiplicacin de
monomios y polinomios en Algebra, La operacin inversa es muy similar a la
factorizacin algebraica por el mtodo del factor comn. As tenemos:

p q r p r q r

p q r p r q r
5. IDENTIDAD :
En esta ley cuando la ejecutas te va a dar como resultado una Tautologa (1) o
Contradiccin (0). Y se va a comparar P.

p0 p

p 1 1

p00

p 1 p

6. COMPLEMENTO
Esta ley es muy similar a la anterior con la diferencia que se aplica a una proposicin
justo a la negacin de la misma, es decir:

p p 1

p p 0

p p

1 0, 0 1

IESTP LATINOAMERICANO

LGICA Y FUNCIONES

7. LEY DE MORGAN
Se niegan las proposiciones conjuntivas o disyuntivas y la cambiamos. La
conjuncin por la disyuncin o la disyuncin por la conjuncin, negando cada uno de
los componentes.

a) (p
q) ~ (~ p v ~q)
Ejemplo: En invierno nieva y hace frio
Equivale: No es el caso que en invierno no nieva o no haga frio

b) (p V q) ~ (~p
~q)
Ejemplo: Hace fro o helada
Equivale: No es el caso que no haga frio y no haga helada

c) ~ (p q) ~p V ~ q
Ejemplo: No es el caso que Estefan estudie y juegue
Equivale: Estefan no estudia o no juega

d) ~ (p
q) (~p ~ q)
Ejemplo: No es el caso que viajes al sur o te quedes en el Rmac
Equivale: O no viajes al sur y no te quedes en el Rmac

8. LA DOBLE NEGACIN:
L a doble negacin equivale a una afirmacin. El nmero de negaciones que afectan a
una formula o esquema puede eliminarse de par en par, As tenemos:

(p) p

9. LA ABSORCIN:
Consiste en reducir una formula lgica conjuntiva o disyuntiva incluyente aprovechando
que una de sus componentes forme parte de la otra componente y que presenta
simultneamente los conectores, As tenemos:

p (p q) p
p (p q) p

IESTP LATINOAMERICANO

LGICA Y FUNCIONES
p (p q) p q

p (p q) p q

10. LA BICONDICIONAL:
Indica que un esquema bicondicional puede transformarse en dos condicionales donde
uno de los miembros implica a otro y viceversa.

(p q) (p q)

(q p)

Ejemplo: Una figura geomtrica tiene tres ngulos si y slo si es un tringulo

Equivale: Si una figura geomtrica tiene tres ngulos entonces es un tringulo y si es
un tringulo entonces es una figura geomtrica que tiene tres ngulos.
Indica que un esquema bicondicional puede transformarse en una disyuncin
De conjunciones afirmando los dos componentes conjuntamente o negando los dos
componentes tambin conjuntamente.

(p q) (p

q) V (~p

~q)

Ejemplo: Un nmero es positivo si y slo si es mayor que cero.

Equivale: Un nmero es positivo y es mayor que cero, o un nmero no es positivo y no
es mayor que cero.
11. LA CONDICIONAL:
Es la definicin del esquema condicional por medio del disyuntivo. Se niega el
antecedente (p) y el condicional () cambia por el disyuntivo (V)

(p q) (~p v q)
Ejemplo: Si Kant es un filsofo entonces es idealista
Equivale: Kant no es un filsofo o es un idealista

IESTP LATINOAMERICANO

LGICA Y FUNCIONES

EJEMPLOS DE EJERCICIOS:
EJEMPLO 1:
Hallar la proposicin equivalente a:
No es el caso que, hace fro y no se congele
Solucin :
Consideramos

p = hace fro

q = congela

Formalizando:
No es el caso que, p y no q
(p q) Morgan

p


q

Cuya lectura es: No hace fro o congela

EJEMPLO 2:
Hallar la proposicin equivalente a:
Hay que pagar 50 soles y servicio para ingresar al Club
Solucin :
Formalizando:
p = pagar 50 soles q =
ser socio

IESTP LATINOAMERICANO

LGICA Y FUNCIONES
r = ingresar al club. Hay
que p y q para r.
(p q) r por condicional
(p q)

Luego:
No es cierto que se pague 50 soles y sea socio, o ingrese al club.

EJEMPLO 3:
Hallar la proposicin equivalente a:
17 es primo porque 17 es primo o 30 es par, y 30 es par
Solucin :

Formalizando: p =
17 es primo q =
30 es par
(p q) qp q p

Por absorcin

Si 30 es par, 17 es primo
q p

Por condicional

30 no es par o 17 es primo
p q

Por transposicin

Si 17 no es primo, 30 no es par

IESTP LATINOAMERICANO

LGICA Y FUNCIONES

EJEMPLO 6:
Determinar los esquemas ms simples equivalentes a:
(a) (p q) qp
(b) (p q) p (q p)
(c) p (r) (q )(p r)
Solucin :
(a) (p q) q p(p q)
(q)p
Condicional
(p q) qp

Involucin

(p q) qp
Morgan
(p q) qp Absorcin
q p

Absorcin

(b) (p q) p(q p)
(p q) p(q p)

Condicional

(
p

p
) q (q p)

Asociativa

IESTP LATINOAMERICANO

LGICA Y FUNCIONES
Idempotencia

p q (q p)

(p q) q (p q) p
Distributiva
q (q p)

Absorcin

Absorcin

(c) p (r)(q) (p r)
p (r)q
(p

r)

Condicional

p (r)q (p) (r)Morgan

p (r)(r)(q p) Conmutativa y
asociativa.
r q p

Absorcin

(
r

p
) q

Asociativa

(r p) q
(r p) q

IESTP LATINOAMERICANO

Morgan
Condicional