Sea L un lenguaje de primer orden con igualdad, con tipo de similaridad <1, 1;−; 0>, con simbolos
de predicados P y Q. Sean las formulas:
Φ1 = (9x)(9y)¬x=0y
Φ2 = P(x) _ Q(x)
Φ3 = P(x) ! ¬Q(x)
Φ4 = (9x)P(x) ^ (9x)Q(x)
a. Determine si existe una estructura M tal que M|= Φ2 ^Φ3 ^Φ4. Justifique.
Si mi respuesta fuera: Si, existe M y M=<N,Par,Impar>.
¿se considera bien justificado, o deberia hacer una "descomposicion" con el 2.4.5.?
Gracias, Saludos!!!