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-01.
Dentre os estudantes do curso de Lógica só os que fazem o trabalho terão nota alta. (Ex, Lx, Tx, Ax)

Passo 1

O enunciado afirma que dentre os estudantes do curso de Lógica, apenas os que fazem o trabalho terão nota alta. O conteúdo é tradução de frases em linguagem natural para Lógica de Predicados, usando quantificadores e conectivos (em especial a implicação).

Passo 2

Definimos o domínio como o conjunto de todas as pessoas, e os predicados:
E(x): “x é estudante”
L(x): “x faz o curso de Lógica”
T(x): “x faz o trabalho”
A(x): “x terá nota alta”

Passo 3

A expressão “só os que fazem o trabalho terão nota alta” significa que, se um estudante de Lógica tiver nota alta, então ele fez o trabalho. Em Lógica de Predicados, “se … então …” vira o conectivo to, e para falar “entre os estudantes de Lógica” usamos E(x)wed>= L(x) no antecedente.

Passo 4

Unindo tudo, obtemos a fórmula que diz: para todo x, se x é estudante e faz o curso de Lógica, então, caso x tenha nota alta, ele fez o trabalho
forall xl((E(x)wed>= L(x))to (A(x)to T(x))r)

Resposta

forall xl((E(x)wed>= L(x))to (A(x)to T(x))r)

Exercícios relacionados