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. Referencias en el texto: Introducción a las equivalencias tautológicas