Reescreva cada uma das sentenças abaixo usando funções proposicionais
, quantificadores e conectivos lógicos.
Há um estudante que cursou mais de 21 créditos em um semestre e recebeu apenas conceitos A.
Há um estudante que cursou mais de 21 créditos em um semestre e recebeu apenas conceitos A.
Passo 1
Primeiro, vamos entender o que a questão está pedindo. A gente precisa reescrever a frase “Há um estudante que cursou mais de 21 créditos em um semestre e recebeu apenas conceitos A” usando funções proposicionais, quantificadores e conectivos lógicos. Isso faz parte da matéria de Lógica de Predicados, e vamos usar símbolos como
,
, e
para representar diferentes propriedades do estudante.
Passo 2
Vamos identificar as partes importantes da frase e definir nossos predicados:
-
: “x é um estudante” -
: “x cursou mais de 21 créditos em um semestre” -
: “x recebeu apenas conceitos A”
Esses predicados vão nos ajudar a traduzir a frase natural para a linguagem formal da lógica.
Passo 3
Agora, vamos juntar esses predicados usando conectivos lógicos. A frase diz que existe pelo menos um estudante que satisfaz as duas condições: ter cursado mais de 21 créditos e ter recebido apenas conceitos A. Para expressar “existe”, usamos o quantificador existencial
. E para “e”, usamos o conectivo lógico de conjunção
.
Resposta
A expressão lógica fica: