Use os seguintes símbolos de predicados para traduzir para a linguagem simbólica do Cálculo de Predicados, cada uma das seguintes afirmações:
Questão-02. Fx: x é professor / Ex: x é estudante / Sx: x vai a um seminário / Axy: x está acompanhado de y
Nenhum estudante que assiste ao seminário é acompanhado de um professor.

Passo 1

O enunciado pede para traduzir para a Lógica de Predicados a frase “Nenhum estudante que assiste ao seminário é acompanhado de um professor”, sabendo que temos os predicados
  • F(x): “ x é professor”
  • E(x): “ x é estudante”
  • S(x): “ x vai a um seminário”
  • A(x,y): “ x está acompanhado de y

Passo 2

Para expressar “nenhum ··· é ···” usamos quantificadores universais e uma implicação que leva \u00e0 nega\u00e7\u00e3o da rela\u00e7\u00e3o de acompanhamento. Em outras palavras, para todo x e todo y, se x \u00e9 estudante que vai ao semin\u00e1rio e y \u00e9 professor, ent\u00e3o n\u00e3o ocorre A(x,y).

Passo 3

Montando a fórmula em bloco, temos:
forall x;forall y;l((E(x)land S(x)land F(y))to neg A(x,y)r)

Resposta

forall x,forall yl((E(x)land S(x)land F(y))to neg A(x,y)r)

Exercícios relacionados