Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1 Reglas de equivalencia
En esta seccin estudiars y aplicars algunas reglas de equivalencia de proposiciones lgicas. Es
decir, vamos a empezar a aplicar algunas reglas que nos permitirn transformar proposiciones
compuestas, pero conservando su semntica, o sea, todas sus interpretaciones, o en otras palabras,
sin alterar su tabla de verdad. Posteriormente, en la seccin siguiente, estudiaremos leyes de
inferencia que nos permitan definir implicaciones lgicas.
Para darnos una idea de la utilidad de las reglas de equivalencia, veamos la tabla de verdad de las
siguientes proposiciones compuestas:
p1 = (~x~yz) (~xyz) (x~y)
p2 = (x~y) (~xz)
Ambas son proposiciones compuestas por 3 proposiciones simples, por tanto, hay 8 posibles
combinaciones. Su tabla de verdad es la siguiente:
x
x~y
p1
x~y
~xz
p2
V V
V V
~x~yz ~xyz
Vemos que las dos proposiciones tienen la misma tabla de verdad, es decir, son dos proposiciones
equivalentes, pero una es ms simple que la otra. De este sencillo ejercicio podemos concluir que es
factible encontrar una proposicin compuesta equivalente a otra, pero ms simple. Para este proceso
de simplificacin son necesarias las Reglas de equivalencia.
3.1 Reglas de equivalencia
La siguiente tabla contiene varias reglas de equivalencia. Algunos autores las llaman tautologas
notables. Como podrs observar, estas reglas tienen su nombre .Es importante tenerlas presentes,
porque, como ya vimos, pueden ayudarnos a simplificar el manejo de proposiciones compuestas.
Regla
Nombre
Leyes conmutativas
3a (p q) r p ( q r)
Leyes asociativas
3b (p q) r p ( q r)
4a p ( q r) (p q) (p r)
4b p ( q r) (p q) (p r)
Leyes distributivas
5a (p p) p
5b (p p) p
Leyes de idempotencia
6a (p F) p
6b (p V) V
6c (p F) F
6d (p V) p
donde F = Falso y V = Verdadero
Leyes de identidad
7a (p ~p) V
7b (p ~p) F
Postulados
8a ~(p q) ~p ~q
8b ~(p q) ~p ~q
8c (p q) ~(~p ~q)
8d (p q) ~(~p ~q)
Leyes de DeMorgan
9 (p q) ~q ~p
Contrapositiva
10a (p q) (~p q)
10b (p q) ~(p ~q)
Implicacin
11a (p q) (~p q)
11b (p q) ~(p ~q)
Implicacin
Implicacin
13 p q (p q) (q p)
Equivalencia
14 (p q) r (p (q r))
Ley de exportacin
15 p q ((p ~q) F)
donde F = Falso
Reduccin al absurdo
p q p q q p (p q) (q p)
p q p ~q (p ~q) F
Ejemplo 2
Se quiere simplificar la siguiente proposicin compuesta:
zx z~xy
Aplicando la regla distributiva 4b a los dos trminos, tenemos:
z(x ~xy)
Aplicando la regla de identidad 4a al trmino del parntesis, se obtiene:
z((x ~x)(x y))
Aplicando la regla de identidad 7a al trmino (x~x V) , tenemos:
z(V(xy))
Aplicando la regla de identidad 6d al trmino V(xy) (xy), resulta:
z((xy))
De la que podemos eliminar los parntesis externos,resultando:
zx z~xy z(xy)
Ejemplo 3
Simplifica la siguiente proposicin compuesta:
p1 = (~x~yz) (~xyz) (x~y)
Aplicando la regla de conmutativa 2b a los primeros dos trminos, tenemos:
p1' = (~xz~y) (~xzy) (x~y)
Donde hemos intercambiado la posicin de ~y con z en el primer trmino y de y con z en el
segundo.
Si en p1' hacemos los siguiente cambios en los primeros dos trminos: ~xz = a, ~y = b, y y = c,
resulta:
p1'' = (a b) (a c) (x~y)
Para hacer un poco ms clara su aplicacin, parafraseando la regla distributiva 4b, tenemos:
Regla 4b: a ( b c) (a b) (a c)
Vemos que los primeros dos trminos de p1'' equivalen al lado derecho de la parfrasis de la regla
4b, por lo que podemos transformar p1'' de la siguiente manera:
p1''' = a ( b c) (x~y)
Restableciendo algunos cambios que hicimos antes: b = ~y, y c=y, tenemos:
p1''' = a ( ~y y) (x~y)
Aplicando la ley conmutativa 2a al termino ( ~y y), se obtiene ( y ~y). Aplicando el postulado
7a a este ltimo trmino, tenemos ( y ~y) V, por tanto, ahora p1''' equivale a:
p1''' = a V (x~y)
Aplicando la ley de identidad 6d al primer trmino, resulta:
p1''' = a (x~y)
Por ltimo, deshaciendo el cambio a = ~xz, obtenemos:
p1''' = ~xz (x~y)
Es decir,
(~x~yz) (~xyz) (x~y) ~xz (x~y)
Que resulta ser la proposicin p2 = (~xz) (x~y) comentada al inicio de esta seccin, salvo por
los parntesis del primer trmino.
Los parntesis en el clculo proposicional, al igual que en el caso del lgebra, se utilizan para
indicar qu operaciones se hacen primero. En este caso, los parntesis del primer trmino son
superfluos porque la conjuncin tiene precedencia sobre la disyuncin.
Ejemplo 4
Simplifica la siguiente proposicin:
(~A~B) (A~B) (AB)
Aplicando la ley conmutativa 2a a los tres trminos, tenemos:
(~B~A) (~BA) (BA)
Aplicando la ley distributiva 4b a los primeros dos trminos, resulta:
(~B(~AA)) (BA)
Por el postulado 7a ((~AA) V) y la ley de identidad 6d (~BV ~B), se obtiene:
~B (BA)
Aplicando la ley distributiva 4a a la proposicin anterior, resulta:
(~BB) (~BA)
Aplicando el postulado 7a a la primera expresin tenemos que (~BB) V, por tanto, se tiene:
V (~BA)
Que, segn la ley de identidad 6d, equivale a:
~BA
Por tanto, resulta que:
(~A~B) (A~B) (AB) ~BA
Ejemplo 5
Simplifica la siguiente proposicin:
(x~z) (~xz) z
Aplicando la ley conmutativa, tenemos:
z (z~x) (~zx)
Dado que (z V) z, por la ley de identidad 6a, se obtiene:
(z V) (z~x) (~zx)
Aplicando la ley distributiva 4b, resulta:
z (V~x) (~zx)
Segn la ley de identidad 6b, (V ~x) V, por tanto, la expresin resultante hasta este punto es:
z V (~zx)
Dado que z V z, de acuerdo con la ley de identidad 6d, la expresin resultante hasta este punto
es:
z (~zx)
Aplicando la ley distributiva 4a, resulta:
(z ~z) (zx)
Dado que (z ~z) V, por el postulado 7a, se tiene:
V (zx)
La ley de identidad 6d establece que V (zx) (zx), por tanto, resulta:
(x~z) (~xz) z (zx)
Con este ejemplo, terminamos nuestro estudio de las reglas de equivalencia, que son tiles para
simplificar proposiciones compuestas. Sigue ahora el estudio de las reglas de implicaciones y de
inferencia, con las cuales podremos determinar si un razonamiento es vlido o no.