Lógica: Seg parcial 2017 ej4)c)

Hola, tenia una duda, en este ejercicio se pide saber si un phi pertenece a un conjunto que es T = Cons({x,y}), en la resolucion prueba que el conjunto de axiomas es inconsistente y entonces T = SENT, y no estoy pudiendo siguir el razonamiento. Agredeceria si me puden explicar.

Muchas gracias.

Re: Seg parcial 2017 ej4)c)

de Dylan Thomas Smyth Corbellini - sábado, 10 de julio de 2021, 19:01

Tengo la idea que puede ser como toda estructura que modele a {x,y} entonces debe hacer lo mismo con bottom por completitud y luego def de cons semantica, pero el antecedente es falso entoces el mod({x,y}) = vacio y Th(vacio) = SENT. Es por esto?