La equivalencia lógica es una relación lógica que se presenta cuando 2 fórmulas se unen a través del bíimplícador, y que cuando son evaluadas por la tabla de verdad se obtiene como resultado una tautología;, por esto, se debe tener presente que la equivalencia lógica y la proposición bicondicional constituyen cosas muy distintas; solo se puede hablar de equivalencia sí el resultado final de la evaluación es tautológico, pero si no es tautológico se dirá que es un esquema de proposición bicondicional.
No hay comentarios:
Publicar un comentario
Gracias por dejar un Comentario..Lizer® Corp®