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)
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:
: “x é estudante”
: “x faz o curso de Lógica”
: “x faz o trabalho”
: “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
, e para falar “entre os estudantes de Lógica” usamos
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