Hola,
Estoy trancado con la resolusion de este ejercicio. Entiendo que en este ejercicio se debe usar elim (classic P) pero no me doy cuenta cual deberia ser P a utilizar.
gracias
saludos
Hola,
Estoy trancado con la resolusion de este ejercicio. Entiendo que en este ejercicio se debe usar elim (classic P) pero no me doy cuenta cual deberia ser P a utilizar.
gracias
saludos
Hola Agustin.
Podés usar como P el primer término de la conjunción (A). Para probar el primer goal que se genera, fijate que el lado del \/ a probar debería ser el derecho (right). Por otra parte, para probar el segundo goal generado luego del elim referido deberías optar por el lado izquierdo del \/ a demostrar (usando left).
Saludos, Carlos