Las equivalencias tautológicas son fbfs que tienen la forma AB 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.

Ir al texto