Implicación de fórmulas

Una fórmula ‘A’ implica a ‘B’ si y sólo si unidas en forma condicional,‘A’ como antecedente y ‘B’ como consecuente, su matriz resulta tautológica; si su matriz es consistente o contradictoria, se dice que ‘A’ no implica a ‘B’.

Ejemplo:
Si las matrices de las siguientes fórmulas son:
A: VVFF
B. VVVF
C: FFVV
D: FFFV
Determine, mediante la tabla de verdad, si:
1) “La conjunción de las negaciones de A y C implica a la negación
de la negación conjunta de B y D”.
Procedimiento:
a) Se expresa simbólicamente el enunciado.
b) Se evalúa la fórmula mediante la tabla de verdad.
c) Si su matriz es tautológica se dice que ‘A’ implica a ‘B’; si es consistente o contradictoria, se dice que ‘A’ no implica a ‘B’.

RESPUESTA: A implica B (A->B)

Otro ejemplo:

“El bicondicional de la negación de A y la disyunción débil de C
y D implica a la negación de la disyunción débil de B y la negación
de A”

RESPUESTA: A NO IMPLICA B