Buenas, tenia unas consultas respecto a este ejercicio:
1- Como puedo hacer para demostrar la parte a)ii). No se si estoy en lo correcto, pero en el CONS({φ}) tengo que ver cuantas sentencia pueden ser derivadas a partir de φ, y luego en con Th({M}) tengo que ver cuantas sentecias son modeladas por M, pero luego de esto no se como hacer una comparacion
2- En la parte b), no se me ocurre ningun ejemplo para esto. Si pueden darme alguna pista me ayudarian mucho.
3- Pueden usarse en el parcial las propiedades que aparecen en el practico 9 en el parcial, o en el caso de querer usarlas hay que demostrarlas?
Saludos