TEMA: EQUIVALENCIA DE ESQUEMAS MOLECULARES:

OBJETIVO: Determinar cuando dos esquemas logicos son equivalentes

Dos esquemas moleculares son equivalentes (lógicamente) si las tabla

de verdad de dichas fórmulas son iguales para los valores correspondientes de
las componentes.

Otros autores la definen como: si al unir dos esquemas moleculares a

través de la bicondicional “↔” el resultado es una tautología entonces se dice
que estas fórmulas son equivalentes. La equivalencia se denota así: ≡

Luego si A y B son dos esquemas moleculares equivalentes su

representación es del siguiente modo: A ≡ B

Ejemplo: p→q es equivalente a ∼p∨q porque tienen la misma

tabla de verdad.

p q p→q ∼p ∨ q
V V V F V V
V F F F F F
F V V V V V
F F V V V F

Observe que ambas fórmulas tienen los mismos valores de

verdad (y en el mismo orden), por lo tanto los dos esquemas son
equivalentes, y se denota así:
p→q ≡ ∼p∨q

Ejemplo: Diga Ud. si las siguientes fórmulas lógicas son equivalentes:

q → ∼p ; ∼(q∧p)

p q q → ∼p ∼ (q∨p)
V V V F F F V
V F F V F F V
F V V V V F V
F F F V V V F

Por lo tanto: q → ∼p ≡ ∼(q∨p)