Está en la página 1de 9

1.

IMPLICACIN LGICA Y EQUIVALENCIA LGICA


IMPLICACIN LGICA
Se llama implicacin lgica o simplemente implicacin a toda
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente condicional es una implicacin lgica:
(p q) ~ q ~ p

p
V
V
F
F

q
V
F
V
F

(p q)
V
F
V
V

F
F
F
V

V
V
V
V

~ q
F
V
F
V

condicional

~p
F
F
V
V

En la columna resultado se observa los valores de verdad, en este caso todos


son verdaderos. Entonces, afirmamos que la condicional es tautologa, por tanto, es
una implicacin lgica. Si en la columna resultado se obtiene contradiccin o
contingencia, entonces, no existe implicacin lgica.
EQUIVALENCIA LGICA
Se llama equivalencia lgica o simplemente equivalencia a toda bicondicional
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente bicondicional es una equivalencia lgica:
p (p q) p

p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

V
V
F
F

(p q)
V
V
V
V
V
V
F
V

p
V
V
F
F

Como se verifica que el resultado de la bicondicional, es tautologa, afirmamos


que es una equivalencia lgica.
Entonces, podemos afirmar que: p (p q) p
1.
IMPLICACIN LGICA Y EQUIVALENCIA LGICA
IMPLICACIN LGICA
Se llama implicacin lgica o simplemente implicacin a toda
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente condicional es una implicacin lgica:
(p q) ~ q ~ p

p
V
V
F
F

q
V
F
V
F

(p q)
V
F
V
V

F
F
F
V

~ q
F
V
F
V

V
V
V
V

~p
F
F
V
V

condicional

En la columna resultado se observa los valores de verdad, en este caso todos


son verdaderos. Entonces, afirmamos que la condicional es tautologa, por tanto, es
una implicacin lgica. Si en la columna resultado se obtiene contradiccin o
contingencia, entonces, no existe implicacin lgica.
EQUIVALENCIA LGICA
Se llama equivalencia lgica o simplemente equivalencia a toda bicondicional
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente bicondicional es una equivalencia lgica:
p (p q) p

p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

V
V
F
F

(p q)
V
V
V
V
V
V
F
V

p
V
V
F
F

Como se verifica que el resultado de la bicondicional, es tautologa, afirmamos


que es una equivalencia lgica.
Entonces, podemos afirmar que: p (p q) p
1.
IMPLICACIN LGICA Y EQUIVALENCIA LGICA
IMPLICACIN LGICA
Se llama implicacin lgica o simplemente implicacin a toda
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente condicional es una implicacin lgica:
(p q) ~ q ~ p

p
V
V
F
F

q
V
F
V
F

(p q)
V
F
V
V

F
F
F
V

~ q
F
V
F
V

V
V
V
V

condicional

~p
F
F
V
V

En la columna resultado se observa los valores de verdad, en este caso todos


son verdaderos. Entonces, afirmamos que la condicional es tautologa, por tanto, es
una implicacin lgica. Si en la columna resultado se obtiene contradiccin o
contingencia, entonces, no existe implicacin lgica.

EQUIVALENCIA LGICA
Se llama equivalencia lgica o simplemente equivalencia a toda bicondicional
p q que sea tautologa.
Ejemplo:
Verifica si la siguiente bicondicional es una equivalencia lgica:
p (p q) p

p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

V
V
F
F

(p q)
V
V
V
V
V
V
F
V

p
V
V
F
F

Como se verifica que el resultado de la bicondicional, es tautologa, afirmamos


que es una equivalencia lgica.
Entonces, podemos afirmar que: p (p q) p

3.Equivalencia lgica
En lgica, las declaraciones p y q son lgicamente equivalentes si tienen el mismo contenido
lgico. Este es un conceptosemntico, dos afirmaciones son equivalentes si tienen el
mismo valor de verdad en todos los modelos (Mendelson 1979:56). La equivalencia lgica
de p y q algunas veces se expresa como

, Epq, o

. Sin embargo, estos

smbolos tambin se usan para la equivalencia material; su apropiada interpretacin depende


del contexto. La equivalencia lgica es diferente a la equivalencia material, aunque ambos
conceptos estn estrechamente relacionados.
Indice

1Equivalencias lgicas

2Ejemplo

3Relacin con la equivalencia material

4Vase tambin

5Referencias

Equivalencias lgicas[editar]
Sea T una verdad lgica y F una falsedad lgica:

Equivalencia

pTp
pFp

pTT
pFF

ppp
ppp

(p)p

pqqp
pqqp

(pq)rp(qr)
(pq)rp(qr)

p(qr)(pq)(pr)
p(qr)(pq)(pr)

(pq)pq
(pq)pq

p(pq)p
p(pq)p

Nombre

Leyes de identidad

Leyes de dominacin

Leyes de idempotencia

Leyes de doble negacin

Leyes de conmutacin

Leyes de asociacin

Leyes de distribucin

Leyes de De Morgan

Leyes de absorcin

ppT

Leyes de negacin

ppF

Equivalencias lgicas que involucran declaraciones condicionales


1. pqpq
2. pqqp
3. pqpq
4. pq(pq)
5. (pq)pq
6. (pq)(pr)p(qr)
7. (pq)(pr)p(qr)
8. (pr)(qr)(pq)r
9. (pr)(qr)(pq)r

Equivalencias lgicas que involucran bicondicionales


1. pq(pq)(qp)
2. pqpq
3. pq(pq)(pq)
4. (pq)pq

Ejemplo
Las dos sentencias siguientes son lgicamente equivalentes:
1. Si Lisa est en Francia, entonces ella est en Europa (en smbolos,

).

2. Si Lisa no est en Europa, entonces ella no est en Francia (en


smbolos,

).

Sintcticamente, (1) y (2) son derivables cada una de la otra a travs de la regla
de contraposicin y doble negacin. Semnticamente, (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.
(Tener en cuenta que en este ejemplo se supone lgica clsica. Algunas lgicas no
clsicas no consideran (1) y (2) lgicamente equivalentes.)