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 AB es tautológica, entonces AB.
Ir al texto