Hola Tomás, si podés asumir ciertas equivalencias conocidas. En la sección de semántica del eva hay una lista de equivalencias que tiene todas las que necesitan para el curso.
Saludos
Re: Asumir equivalencias y leyes algebraicas en demostraciones semanticas
de Juan Diego Campo -
Número de respuestas: 0