EQUIVALENCIAS LOGICAS -

SIMPLIFICACION

CURSO: RAZONAMIENTO LÓGICO

DOCENTE: MAYCOL MENDOZA TORRES
 REGLAS DE EQUIVALENCIA
Expresión Matriz Esquema
Principal
pp 11 Tautológico
(p  q)  (p  q) 1111 Tautológico
(p  q)  (p  q) 1111 Tautológico
(p  q)  r  p  (q  r) 11111111 Tautológico
(p  q)  p  q 11111111 Tautológico

Doble Negación:
Consiste en agregar o quitar simultáneamente pares de negaciones, las cuales deben
afectar a la misma variable o a la misma fórmula.

Ejemplos:
1) p =  p 2) p =   p
3)  p =    p 4)   p = p
5) p  q =  p  q 6) p  q =  (p  q)
7) p  q =  ( p  q)
Ley de D’Morgan:
Consiste en cambiar las negaciones de una fórmula conjuntiva o disyuntiva así como de
sus componentes.
Ejemplos:
1) p  q = (p  q) 2) p  q = (p  q)
3) (p  q) = p  q 4) p  q = (p  q)
5) p  q = (p  q) 6) (p  q) = p  q
7) (p  q) = p  q
Conmutación:
Consiste en intercambiar la posición de las componentes de una fórmula que tenga como
operador principal a:      /
Ejemplos:
1) p  q = q  p 2) p  q = q  p
3) (p  q)  r = r  (p  q) 4) p  q = q  p
Contraposición:
El equivalente se obtiene cambiando los signos de las componentes e intercambiando la
posición de las mismas en una fórmula con operador principal:    

Ejemplos:
1) p  q = q  p 2) P  q = q  p
3) p  q = q  p 4) p  q = q  p
Asociación:
Se utiliza sólo para cambiar los signos de agrupación más no la posición ni las negaciones
de los componentes. Se cumple con:    
En todo momento sólo debe usarse un tipo de operador para asociar
Ejemplos:
(p  q)  r = p  (q  r)
p  (q  r) = (p  q)  r
p  (q  r) = (p  q)  r
(p  q)  (r  s) = [(p  q)  r]  s
Idempotencia:
Se utiliza con:  
Consiste en “repetir” una proposición todas las veces que se quiera pues siempre
equivale a una sola vez.
Ejemplos:
1) p  p = p
2) p  p  p = p
3) p  p  p  … …p=p
4) p  p = p
5) p  p  p  … …p=p
6) p  p = p
7) (p  q)  (p  q)  (p  q) = (p  q)
Identidad:
Consiste en relacionar una variable con una tautología (1) o con una contradicción (0)
En todo momento se pueden obtener estas equivalencias utilizando tablas de verdad

Ejemplos:
1) p  1 = p 2) p  0 = 0 3) p  1 = 1
4) p  0 = p 5) p  1 = 1 6) p  0 = p
7) p  1 = p 8) p  0 = p 9) p  1 = p
10) p  0 = p 11) p  1 = p 12) p  0 = 1

Complemento:
Se utiliza con:  
Consiste en relacionar una proposición con la negación de dicha proposición.

1) p  p = 0 2) p  p = 1

Expansión :
p  (p  q)  p  q
p  (p  q)  p  q
p  (p  q)  p  q
p  (p  q)  p  q
Otras Relaciones:
Son aquellas que tienen una estructura similar a la Idempotencia y a la Ley del
Complemento, pero utilizando otros operadores:
   
Ejemplos:
1) p  p = 1 2) p  p = p
3) p  p = 1 4) p  p = 0

Absorción:
Es una relación conjuntiva, o disyuntiva, de una proposición con la disyunción, o
conjunción, de dicha proposición con otra(s) variable(s)

Ejemplos:
Cuando la variable se repite exactamente, se tiene como equivalencia dicha variable:

Ejemplos:
1) p  (p  q) = p 2) p  (p  q) = p
3) p  (p  q) = p 4) p  (p  q) = p
5) p  (p  q  r  s) = p 6) p  (p  q  r  s) = p
 
Cuando la variable que se repite cambia de signo, se tiene como equivalencia lo que
está fuera más lo que no se repite.

Ejemplos:
1) p  (p  q) = p  q
2) p  (p  q) =pq
3) p  (p  q  r  s) = p  (q  r  s)
4) p  (p  q) = p  q

Exportación:
 (A  B)  C  A  (B  C)

Mutación:
 A  (B  C)  B  (A  C)

Distribución:
 A  (B  C)  (A  B)  (A  C)
 A  (B  C)  (A  B)  (A  C)
 A  (B  C)  (A  B)  (A  C)
 A  (B  C)  (A  B)  (A  C)
Definición del Implicador:
Se utiliza con:  
Tiene dos definiciones:
p  q = p  q p  q = (p  q)

Negación del Implicador

 - (A  B)  A  - B

Relación entre Biimplicador y Disyuntor Excluyente:

1º) Al agregar o quitar dos (02) negaciones, en cualquier lugar, el operador NO

cambia.

Ejemplos:
1) p  q = p  q 2) p  q = (p  q)
3) p  q = (p  q) 4) p  q = p  q
5) p  q = (p  q) 6) p  q = (p  q)
2) Al agregar o quitar una (01) negación, en cualquier lugar, el operador SI cambia.

Ejemplos:
1) p  q = p  q 2) p  q = (p  q)
3) p  q = p  q 4) p  q = p  q
5) p  q = (p  q)6) p  q = p  q

Definición del Biimplicador:

p  q = (p  q)  (q  p)
 p  q = (p  q)  (p  q)

Definición del Disyuntor Excluyente:

p  q = (p  q)  (p  q)
p  q = (p  q)  (p  q)

Definición de la daga de Sheffer y barra de Nicod:

p  q = p  q p / q = p  q
PRÁCTICA DE CLASE