Buenas tardes, me surgió la duda sobre este ejercicio.
En mi caso me plantee todo el desarrollo genérico, y llegué a lo marcado en azul:
Mi duda surge con lo siguiente, en la parte de la solución llega a que M no es modelado por P(1techo), y argumenta que es por 2.4.5, eso sería porque desarrollando un poco más con 2.4.5, llegamos a que Si M es modelado por P(1techo), entonces M es modelado por Q(1techo, 1techo) y M no es modelado por Q(1techo, 1techo)?
Como es modelado y no es modelado a la vez por Q(1techo, 1techo), entonces la hipótesis del implica no puede ser cierta?
Saludos y gracias!