Hola.
Efectivamente no es equivalente. El problema es cómo sacas @#\varphi#@ en el recíproco.
Por otro lado, trabajando por equivalencias, se lleva bastante fácil a que esto debiera ser equivalente a @#\varphi \land \psi#@
Hola.
Efectivamente no es equivalente. El problema es cómo sacas @#\varphi#@ en el recíproco.
Por otro lado, trabajando por equivalencias, se lleva bastante fácil a que esto debiera ser equivalente a @#\varphi \land \psi#@