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.
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
, se
é professor então
vai ao seminário. Em lógica de predicados:
Passo 3
Traduzindo “algum estudante é acompanhado por um professor”: existe um estudante
e existe um professor
tal que
está acompanhado de
. Em símbolos:
Passo 4
Agora juntamos as duas partes na forma de implicação “se (antecedente) então (consequente)”: