Por favorzinho


Considere que:


U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}


I[c1] = 2


I[x] = 10


I[y] = 1


I[f(x)] = 2 * x, se x ≤ 5


I[f(x)] = 2 * x - 10, se x > 5


I[p(x)] = V, se x é ímpar


I[q(x, y)] = V, se (x ≠ y)




Determine a interpretação das fórmulas a seguir, justificando sua resposta.


a) ¬p(x) → ¬q(f(y), c1)


b) (∃x) ((∃y)((¬p(x) ∧ p(y)) → q(f(x), y)))


Observações:
Quantificadores e conectivos para serem utilizados : (∀x) (∃x) → ↔ ∨ ∧ ¬