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:
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:
