Equivalencia de fórmulas

Dos fórmulas ‘A’ y ‘B’ son equivalentes si y sólo si sus matrices son iguales; si sus matrices son diferentes, se dice que ‘A’ y ‘B’ no son equivalentes.

Ejemplos:

a) “La negación de la negación alterna de las negaciones de A y D es equivalente al condicional de B y la negación de C”

RESPUESTA: A no es equivalente a B.

b) “La negación de la conjunción de las negaciones de C y D es equivalente a la negación conjunta del condicional de A y B y la disyunción débil de C y B”

RESPUESTA: A no es equivalente a B.