Equivalencia tautológica

Las equivalencias tautológicas son fbfs que tienen la forma A<->B donde A y B son proposiciones (atómicas o moleculares) que son lógicamente equivalentes. En otras palabras, si A<->B es tautológica, entonces A==B.