1. Pruebe sin usar tácticas automáticas el siguiente teorema: .... (copio y me salen símbolos "raros")
A qué se refiere con probar sin usar tácticas automáticas? Hay que probar "a mano"?
Hola.
Se refiere a no usar tauto o auto, en particular. Hay que demostrarlo con las reglas de introducción y eliminación de conectivos y cuantificadores.
Saludos, Carlos
Ya me parecía. Muchas gracias. Saludos.