NachLXII escribió:
Buenas.
Entiendo que si el bicondicional formado por ambas fórmulas no es una tautología ( es contingente ), no son equivalentes.
Se demuestra mediante tablas de verdad.
El problema sería si aparecen muchas variables,ya que tendríamos un número de filas poco manejable para hacer la tabla.
Muchas gracias a tod@s por vuestra ayuda.
Obviamente, cuando existen muchas variables enunciativas, lo más rápido es optar por el árbol semántico; no obstante, recuerda que para realizar este tipo de comprobaciones no es necesario realizar la tabla de verdad al completo, sino parar cuando encuentres la demostración de que estas fórmulas no son equivalentes. Eso sí, tienes que advertirlo con un mensaje del tipo: "No es necesario continuar con la tabla de verdad, puesto que ya hemos comprobado que estas fórmulas no son equivalentes". Esto te sirve también para buscar contraejemplos. Te adjunto la captura de la tabla de verdad hecha justo hasta el momento en que se demuestra que ambas fórmulas no son equivalentes.