LA IMPLICACION

Implicación 

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

A CONTINUACIÓN UN EJEMPLO