Verificação Semântica - Números Naturais

Considere a seguinte fórmula:

p : ∀x ∃y ∃z r(x, y) ∧ r(z, y) ∧ (r(x, z) → r(z, x))

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

Convenções: Números Naturais

• O conjunto dos números naturais é {0, 1, 2, 3, ...}
• As operações e relações usuais são representadas da forma usual. Isto é, 2 + x em vez de Soma(2, x) e 2 < x em vez de Menor(2, x)

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