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
Se todos os professores assistem ao seminário então algum estudante é acompanhado por um professor.

Passo 1

O enunciado é um condicional do tipo “Se ···{} então ···{}”. A parte antes do “então” é “todos os professores assistem ao seminário” e a parte depois é “algum estudante é acompanhado por um professor”. Vamos traduzir cada parte em predicados e depois montar a implicação.

Passo 2

Traduzindo “todos os professores assistem ao seminário”: para todo indivíduo x, se x é professor então x vai ao seminário. Em lógica de predicados:
forall xl(Fx to Sxr)

Passo 3

Traduzindo “algum estudante é acompanhado por um professor”: existe um estudante x e existe um professor y tal que x está acompanhado de y. Em símbolos:
exists x,exists yl(Ex wed>= Fy wed>= Axyr)

Passo 4

Agora juntamos as duas partes na forma de implicação “se (antecedente) então (consequente)”:
l(forall x(Fx to Sx)r);to;l(exists x,exists y(Ex wed>= Fy wed>= Axy)r)

Resposta

(forall x(Fx to Sx)) ;to;exists x,exists y,(Ex wed>= Fy wed>= Axy)

Exercícios relacionados