Reescreva cada uma das sentenças abaixo usando funções proposicionais (P(x), Q(x), ldots), quantificadores e conectivos lógicos.
Há um estudante em sua universidade que fala russo, mas não sabe C++;

Passo 1

Beleza, vamos lá! O enunciado da questão diz: “Há um estudante em sua universidade que fala russo, mas não sabe C++.” A gente vai usar funções proposicionais, quantificadores e conectivos lógicos para reescrever essa frase de forma matemática. Para isso, vamos precisar entender como representar propriedades de uma pessoa e como expressar “há alguém que…” usando lógica.

Passo 2

Primeiro, vamos definir as funções proposicionais que vão representar as características mencionadas na frase:
  • S(x): " x é um estudante na sua universidade."
  • R(x): " x fala russo."
  • C(x): " x sabe C++."
Essas funções nos ajudam a associar cada propriedade a uma pessoa específica representada por x.

Passo 3

Agora, vamos pensar nos conectivos lógicos que vamos usar:
  • land (E): Para juntar duas condições que precisam ser verdadeiras ao mesmo tempo.
  • lnot (NÃO): Para negar uma condição.
  • exists (Existe): Para indicar que “há alguém que…”.
Na frase, queremos dizer que existe um estudante que fala russo e não sabe C++.

Passo 4

Juntando tudo, a expressão lógica fica assim:
exists x ( S(x) land R(x) land lnot C(x) )
Aqui, exists x significa “há pelo menos um x tal que”, e dentro dos parênteses, S(x) land R(x) land lnot C(x) representa que esse x é estudante, fala russo e não sabe C++.

Resposta

exists x ( S(x) land R(x) land lnot C(x) )

Exercícios relacionados