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.
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
-
: “ é professor” -
: “ é estudante” -
: “ vai a um seminário” -
: “ está acompanhado de ”
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
e todo
, se
\u00e9 estudante que vai ao semin\u00e1rio e
\u00e9 professor, ent\u00e3o n\u00e3o ocorre
.
Passo 3
Montando a fórmula em bloco, temos: