EQUIVALENCIAS LÓGICAS

CURSO: RAZONAMIENTO LÓGICO

DOCENTE: MAYCOL MENDOZA TORRES
GRADO: CUARTO DE SECUNDARIA
 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 3) (p  q) = p  q
2) p  q = (p  q) 4) (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

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 p  (p  q)  p  q
1 1 1
Expansión : 1 0 0
p  (p  q)  p  q 0 0 0
p  (p  q)  p  q 0 0 1
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 = 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 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

Definición del Implicador:

Se utiliza con:  
Tiene dos definiciones:
p  q = p  q pq=pq

Relación entre Biimplicador y Disyuntor Excluyente:

Numero de negaciones pares = 

Numero de negaciones impares = 
Además : la “ “ representa una negación

Ejemplos:
1) p  q = p  q 2) p  q = (p   q)
= (p  q) = p  q
= (p   q) = (p  q)
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
Ley de D’Morgan: Absorción:
1) (p  q) = p  q 1) p  (p  q) = p
2) p  q = (p  q) 2) p  (p  q) = p
3) (p  q) = p  q 3) p  (p  q) = p
4) p  q = (p  q) 4) p  (p  q) = p  q
5) p  (p  q) = p  q
Complemento:
1) p  p = 0 R
2) p  p = 1 E
Definición S
Idempotencia: p  q = p  q Ú
1) p  p = p pq=pq M
2)  p   p   p = p p  q = (p  q)  (q  p) E
3) p  p = p = (p  q)  (p  q) N
4) p  p  p  ..  p = p p  q = (p  q)  ( p   q)
5) p  p = p = (p  q)  (p  q)
p  q = p  q
p / q = p  q
Identidad:
1) p  1 = p
2) p  0 = 0 1) p  p = 1 2) p  p = 0
3) p  1 = 1
4) p  0 = p
PRÁCTICA DE CLASE
 1) La contraposición en: (AB) está dada por:
A) A  B B) B  A C) (B  A)
D) (A  B) E) (B  A)
SOLUCION:
p  q = p  q
(AB)

Def: 
 ( A   B )
 (A  B )
Ley de Morgan
A  B
p  q = p  q

A B
La contraposición
BA B
2) La fórmula: (A  B)
Equivale a:
1) (B  A) 2) (A  B) 3) (A  B)
4) (A  B) 5) (A  B)
No son ciertas:
A) 1, 3 y 4 B) Sólo 2 y 5 C) 1, 2 y 5
D) Sólo 3 y 4 E) 3, 4 y 5

SOLUCION: RECORDAR:
NEGACIONES PARES = 
(A  B)
NEGACIONES IMPARES = V
2 Negaciones
(A  B)

1) (B  A)
2) (A  B)
3) (A  B) D
4) (A  B)
5) (A  B)
3) La fórmula:
{[(A  B)  (A  B)] v (A  B)}
Equivale a:
A) A  B B) A  B C) A  B
D) A  B E) A  B

SOLUCION
{[(A  B)  (A  B)] v (A  B)}

LDM DEF:  pq=pq

{[( A  B)  (A  B)] v (A  B)}

ABSORCION
( A  B)
p  (p  q) = p

E
4) El esquema lógico:
(A  B)  1
Es equivalente a:
1) (A  B) 2) A  B 3) (A  B)  0
4) (AB)(AB) 5) (AB) (BA)
Son ciertas:
A) Sólo 1, 2 y 4 B) Sólo 3, 4 y 5 C) Sólo 2 y 3
D) Todas E) Sólo 1, 3 y 5

SOLUCION (A  B)  1 RECORDAR:

NEGACIONES PARES = 
3 negaciones NEGACIONES IMPARES = V
(A  B)  1
identidad
(A  B) p1=p

1) (A  B)
2) A  B
3) (A  B)  0 (A  B) p0=p
4) (AB)(AB) (A  B)
5) (AB) (BA) D
(A  B)
 5) La fórmula:
[(p  p) v 1]  [(q/q)  q]
Equivale a:
A) q v q B) –p  p C) p v q
D) 0 E) 1

SOLUCION [(p  p) v 1]  [(q / q )  q]

p / q = p  q
DEF:  DEF: /
p  q = p  q [(–p  p) v 1] [( q v  q )  q]
idempotencia
complemento q q
0 v 1 p  p = p
p  p = 0
1  0
0
D
 6) Dado el esquema: [(A / B)]  A DEF: 
[(A / B)]  A; su equivalente es:
A) A  A   [(A / B)]  A
B) A  A [(A  B)]  A DEF: /
C) A  A
LEY DE MORGAN ( A   B)  A
D) A  A E) A  A
ABSORCION
A
B) A  A
A  A
IDEMPOTENCIA A
7) Dado el esquema: B
(A  B)  (A  B); tiene como
equivalente a:
  (A  B)  (A  B);
A) A  B B) A  B C) A  B 2 negaciones 2 negaciones
D) A  B E) A  B
(AB)  (AB)
RECORDAR: 11= 0 (AB)
NEGACIONES PARES =  00 =1
NEGACIONES IMPARES = V (A V B)
D
 8) Dado el esquema: [(A  D)  (B  A)]  D
[(A  D)  (B  A)]  D ; tiene como 2 negaciones
equivalente a:
  [(A  D)  (B  A)]  D
A) A  A
B) A  A ASOCIACION [(A  D)  A  B]  D
C) A  A
D) A  A EXPANSION [ A  D  B ]  D DEF: 
E) A  A
 [A  D  B]  D
Expansión : [A  D  B]  D
p  (p  q)  p  q
p  (p  q)  p  q A  D  B  D
p  (p  q)  p  q ASOCIACION (D  D)  A  B
p  (p  q)  p  q
COMPLEMENTO 1 
X
1) p  p = 0 2) p  p = 1

IDENTIDAD 1
3) p  1 = 1
B
Ahora te toca a ti…..