Algunas declaraciones lógicas son “lo mismo”. Por ejemplo, discutimos el hecho de que un condicional y su contrapositivo tienen el mismo contenido lógico. No obstante, el signo igual (=) ya tiene trab...Algunas declaraciones lógicas son “lo mismo”. Por ejemplo, discutimos el hecho de que un condicional y su contrapositivo tienen el mismo contenido lógico. No obstante, el signo igual (=) ya tiene trabajo; se utiliza para indicar que dos cantidades numéricas son iguales. La definición formal de equivalencia lógica es que dos oraciones compuestas son lógicamente equivalentes si en una tabla de verdad, los valores de verdad de las dos oraciones son iguales en cada fila. Por lo tanto, usamos el símb