Verificação Semântica - Domínio Finito

Considere a seguinte fórmula:

p : ∀x ∀y ∃z q(g(x, y), g(y, y), z)

Para cada interpretação, qᵛ, gᵛ, abaixo, indique se v ⊧ p.

Convenções: Domínio Finito

• O universo é U = {a, b}.
• A relação q é ternária.
• A função g é binária.
• A representação explícita das funções é da forma {x₁ : y₁, x₂ : y₂, ...}. Por exemplo, g = {1: 2, 2: 2} define a função g(1) = 2; g(2) = 2.

N.B. a cotação de cada resposta errada desconta.