Equivalencias Lgicas

oct

18

Dos frmulas lgicas son equivalentes si tienen los mismos valores de

verdad para todos los posibles valores de verdad de sus componentes
atmicos.
Diremos que dos proposiciones P y Q son lgicamente equivalentes si es
una tautologa, es decir, si las tablas de verdad de P y Q son iguales.
Equivalencia lgica en la ley asociativa de la conjuncin
A modo ilustrativo demostraremos, a continuacin, que, en virtud de la
ley asociativa de la conjuncin, la frmula p(qr) es lgicamente
equivalente a (pq)r.
Para ello no hay ms que hacer la tabla de verdad de cada una de esas
expresiones y comprobar si, en efecto, todas sus interpretaciones son
iguales para la conectiva dominante.
Equivalencia lgica en la ley asociativa de la disyuncin
Te proponemos que rellenes la siguiente tabla con Vs y Fs donde
proceda para comprobar que, en virtud de la ley asociativa de la
disyuncin, la frmula p(qr) es equivalente a (pq)r.
Si dos frmulas lgicas son eqivalentes entonces la frmula que se obtiene
al operarlas con la bicondiconal es una tautologa.
EJEMPLO
Equivalencia lgica en la ley asociativa de la conjuncin

A modo ilustrativo demostraremos, a continuacin, que, en virtud de la

ley asociativa de la conjuncin, la frmula p(qr) es lgicamente
equivalente a (pq)r.
Para ello no hay ms que hacer la tabla de verdad de cada una de esas
expresiones y comprobar si, en efecto, todas sus interpretaciones son
iguales para la conectiva dominante.
Equivalencia lgica en la ley asociativa de la disyuncin
Te proponemos que rellenes la siguiente tabla con Vs y Fs donde
proceda para comprobar que, en virtud de la ley asociativa de la
disyuncin, la frmula p(qr) es equivalente a (pq)r.
Si dos frmulas lgicas son eqivalentes entonces la frmula que se obtiene
al operarlas con la bicondiconal es una tautologa.
(p q) (p r)

p q r