En la entrada anterior estuvimos hablando sobre la función lógica y los cuantificadores. Dejando un poco de lado el tema y volviendo a las proposiciones, nos encontramos con el concepto de equivalencia lógica . Decimos que p y q son lógicamente equivalentes y denotamos p ≡ q si p y q tienen el mismo valor de verdad en cada caso, es decir si tienen la misma tabla de verdad. También hay bibliografía donde se define un teorema sobre la equivalencia lógica en base a conceptos vistos anteriormente, como por ejemplo que si p ≡ q entonces la expresión que se obtiene al hacer p<->q es una tautología . Como ejemplo, veremos una expresión que anteriormente dijimos que eran equivalentes, el caso de una implicación y su contrarrecíproca. Como podemos ver estas expresiones tienen la misma tabla de verdad y si hacemos la doble implicación entre ellas obtenemos una tautología como lo indicaba el teorema. Con frecuencia, es necesario transformar una expresió...