Buenas! Espero se encuentren bien.
Me queda la duda de como hacer la parte b del ejercicio 11
Entiendo que hacer una derivación y mostrar que en esa derivación necesito otras hipótesis no sirve ya que no estaría probando no existe la derivación pedida.
Intuitivamente entiendo que esto no se cumple y puedo dar un contraejemplo estableciendo un lenguaje, pero tengo entendido que no se aceptan justificaciones semánticas.
Como podría probar esto?
Muchas gracias!
Saludos,
Diego Furrer.