Question

Em uma estrutura $\mathcal{L}_2$ é verdade que
∀x (Px → $\exists$y (P y ∧ Rx y))

?

Answer 1

Resposta:

Olá

Explicação:

Dada a complexidade da sua pergunta, assumirei conhecida as notações específicas desse estudo de Linguagem (semântica de predicado)

Pois bem, a sentença ∀x (Px → ∃y (Py ∧ Rx y)) é verdadeira em qualquer estrutura $\mathcal{L}_2$  desde que  $|\mathcal{P}|_{\mathcal{A}}$ = ∅ (predicado é normalmente entendido como uma função booleana P: $\mathcal{A}$$\to$ {verdadeiro, falso}, chamada de predicado em $\mathcal{A}$)

Bons estudos