Equivalencia Lógica

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

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

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

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

Equivalencia Lógica

Cargado por

Copyright:

Formatos disponibles

Equivalencia Lógica

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Equivalencia Lógica

Cargado por

Copyright:

Formatos disponibles

23/11/2018

Lady Figueroa padilla Paralelo 111

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

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

Lady Figueroa padilla Paralelo 111

PROPIEDADES DE LOS OPERADORES LÓGICOS

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

3 leyes de las implicaciones lógicas

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

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

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

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

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

Lady Figueroa padilla Paralelo 111

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

[(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

Considere las siguientes proposicionales simples:

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:

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

¬ [ ¬ (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

También podría gustarte