23/11/2018

EQUIVALENCIA LOGICA
ocurre cuando dos proposiciones atómicas p y q tienen el mismo contenido lógico, es
decir, el mismo valor de verdad. Cuando ocurre esto se dice que dos afirmaciones son
lógicamente equivalentes.
Una proposición es lógicamente equivalente a otra cuando cada una de las asignaciones
de valores de verdad a las proposiciones simples que las componen genera el mismo
valor de verdad en ambas proposiciones. En otras palabras, dos expresiones son
lógicamente equivalentes si sus tablas de verdad son iguales.
La equivalencia lógica se representa con el símbolo y significa que podemos reemplazar
una expresión con su equivalente ya que ambas generan la misma tabla de verdad. La
expresión nos indica que podemos reemplazar cualquier ocurrencia de con sin alterar
los valores de las expresiones donde hacemos el cambio o la validez de los procesos de
razonamiento donde las utilizamos.
Por ejemplo:
Las dos sentencias siguientes son lógicamente equivalentes:
Si Lisa está en Francia, entonces ella está en Europa
Si Lisa no está en Europa, entonces ella no está en Francia.
Sintácticamente, (1) y (2) son derivables cada una de la otra a través de la regla de
contraposición y doble negación. Semánticamente, (1) y (2) son verdaderas en
exactamente los mismos modelos (interpretaciones, valuaciones); a saber, aquellos en
que Lisa está en Francia es falso o bien Lisa está en Europa es verdadero.
Equivalencias lógicas que involucran declaraciones condicionales:

1. p→q≡﹁p∨q
2. p→q≡﹁q→﹁p
3. p∨q≡﹁p→q
4. p∧q≡﹁(p→﹁q)
5. ﹁(p→q)≡p∧﹁q
6. (p→q)∧(p→r)≡p→(q∧r)
7. (p→q)∨(p→r)≡p→(q∨r)
8. (p→r)∧(q→r)≡(p∨q)→r
9. (p→r)∨(q→r)≡(p∧q)→r
Equivalencias lógicas que involucran bicondicionales:

1. p↔q≡(p→q)∧(q→p)
2. p↔q≡﹁p↔﹁q
3. p↔q≡(p∧q)∨(﹁p∧﹁q)
4. ﹁(p↔q)≡p↔﹁q

Lady Figueroa padilla Paralelo 111

23/11/2018

TRANSPOSICION O CONTRARECIPROCO•

•Definición: La contrarrecíproca o trasposición de una proposición

condicional p → q es la proposición ~q →~p
Teorema: La proposición condicional p → q y su contrarrecíproca
~q →~p son lógicamente equivalentes. A continuación, se muestra en su tabla
correspondiente:

ELIMINACION DE CONDICIONALES

P → Q ≡~P ∨ Q – A continuación, se muestra en su tabla correspondiente:

LEYES DE LA LÓGICA

Lady Figueroa padilla Paralelo 111

23/11/2018

PROPIEDADES DE LOS OPERADORES LÓGICOS

Las operaciones lógicas DEFINIDAS entre las formas proposicionales y algunas de sus
mas importantes propiedades se incluyen en las denominadas leyes del algebra de
proposiciones o leyes lógicas. A continuación, se presentan las de uso más frecuente:

1. Leyes de los operadores fundamentales conjunción y disyunción.

2.Leyes de los operadores negación, condicional y bicondicional

Lady Figueroa padilla Paralelo 111

23/11/2018

3 leyes de las implicaciones lógicas

Para demostrar estas propiedades u otras se pueden emplear tablas de verdad o utilizar
algunas de las propiedades más elementales, como se verá a continuación en el
siguiente ejemplo.

Si se requiere demostrar la equivalencia lógica: [(p ^ q) r] ≡ [p (p (q r)] se

puede emplear tablas de verdad o propiedades de los operadores lógicos

Solución: Empleados tablas de verdad, se construyen las respectivas combinaciones

paras las variables proposicionales involucradas en la estructura.

Para el efecto se denominara A : [(p ^ q) r] , B: [p (q r)] , tal como se muestra

en la siguiente tabla:
P q r P ^ q (p ^ q) r q r p (q r) A B
0 0 0 0 1 1 1 1
0 0 1 0 1 1 1 1
0 1 0 0 1 0 1 1
0 1 1 0 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1

Puesto que [ ( p ^ q ) r] [p (q r)] es una tautología, se concluyen que

existe una equivalencia lógica entre estas dos formas proposicionales, con lo cual se
obtiene la demostración requerido.

Empleando propiedades de los operadores lógicos, se debe transformar la estructura de

una de las formas proporcionales (o de ambas) hasta establecer la equivalencia lógica

Lady Figueroa padilla Paralelo 111

23/11/2018

requerida. En este ejemplo se trabaja sobre la forma proposicional A hasta obtener la

estructura de la segunda.

[(p^q) r] ≡ [ ¬ ( p ^ q ) v r ] por la ley de implicación

≡ [ ( ¬ p ^ ¬ q ) v r ] por la ley de De Morgan

≡ [ ¬ p v ( ¬ q v r ) ] por la ley Asociativa de la Disyunción

≡ [¬pv(q r ) ] por la ley de Implicación

≡[p (q r ) ] por la ley de Implicación

Con esto se concluyen que las formas proposicionales son equivalentes entre sí.

Las propiedades de los operadores lógicos también son útiles cuando se requiere
expresar ideas o enunciados de una forma inequívoca y precisa.

Considere las siguientes proposicionales simples:

A: el clima es propicio

B: la tierra es fértil

C: la flor crecerá

Se quiere negar la proposición compuesta:

“si el clima es propicio y la tierra es fértil, la flor crecerá”.

Solución: la traducción del enunciado original es:

(a ^ b) c

La negación de la proposición anterior es:

¬ [(a ^ b) c]

¬ [ ¬ (a ^ b) v c ] por la ley de la Implicación

(a ^ b) ^ ¬ c por la ley de De Morgan

b^¬c^a por la ley Conmutativa de la conjunción

Lady Figueroa padilla Paralelo 111