Sei sulla pagina 1di 7

3.

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

1 ~~p p (se lee no no p equivale a p)

Doble negacin o involucin

2a (p q) (p q) (se lee p o q equivale a


q o p)
2b (p q) (p q)
2c (p q) (p q)

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

12a ((p r) (q r)) (p q) r


12b ((p q) (p r)) p (p r)

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

Comprobacin de algunas reglas de equivalencia por medio de tablas de verdad


Vamos a construir las tablas de verdad de las reglas 13 (Equivalencia) y 15 (Reduccin al absurdo)
para demostrar que son reglas vlidas.
Regla de la equivalencia
La regla de equivalencia establece que una doble implicacin es igual a la conjuncin de las
implicaciones de sus componentes:
p q (p q) (q p)
La tabla de verdad, donde puede verse que esta regla se cumple, o sea, que ambas proposiciones son
equivalentes, es la siguiente:
p

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

Regla de Reduccin al absurdo


La regla de reduccin al absurdo establece que una implicacin es equivalente a la conjuncin de
su antecedente con la negacin del consecuente implica Falso:
p q ((p ~q) F)
La tabla de verdad, donde puede verse que esta regla se cumple, es decir, que ambas proposiciones
son equivalentes, es la siguiente:
p

p q p ~q (p ~q) F

Ejemplo de transformacin de proposiciones por medio de las reglas de equivalencia


Como ya dijimos antes, una de las mejores maneras de mostrar el uso de las reglas de la lgica es
por medio de ejemplos. Vamos, pues, a explicar algunos que ilustran el uso de las reglas de
equivalencia en proposiciones compuestas.
Ejemplo 1
Sea la proposicin:
(xy) (x~y)
Comparndola con la regla distributiva 4b, vemos que tenemos la parte derecha de ella si
consideramos x = p, y = q, y ~y = r.
Por tanto, la proposicin es equivalente a:
x (y~y)
De la regla de identidad 7a tenemos que y~y = V, por tanto, la expresin es equivalente a:
x V
De la regla de identidad 6d, resulta que x V = x, por tanto:
(xy) (x~y) x

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.

Potrebbero piacerti anche