Vichando un rato este ejercicio, en principio parecía no ser consistente el conjunto dado {
} donde 
= 
y 
= 
¬ 
.Pero intentando hacer la derivación no logro probar
, entonces mi duda es: ¿Se puede declarar una estructura con predicado vacío? ¿Qué aridad tiene un predicado de este estilo? Porque parecería ser la única forma de modelar dicho conjunto.Muchas gracias