Ejercicio de lógicas (circunscripción y método Tableaux)

Stringer

Buenas!

Alguien tiene la más mínima idea de cómo meterle mano a este ejercicio? No encuentro ni siquiera otros ejemplos parecidos para resolverlo, y estoy más perdido que el barco del arroz:

Gracias de antemano por si alguien se aburre :joy:

1 comentario moderado

Usuarios habituales