Use quantificadores e predicados com mais de uma variável para expressar as proposições abaixo.
Há um estudante nesta sala que possui seu próprio computador.

Passo 1

Queremos traduzir a frase “Há um estudante nesta sala que possui seu próprio computador” para a lógica de predicados usando quantificadores e um predicado binário. O conteúdo aqui é lógica de predicados de primeiro‐ordem, precisamos usar variáveis, quantificadores e um predicado que relacione estudante e computador.

Passo 2

Definimos:
– Universo de discurso: pessoas e computadores.
– Predicado unário \mathrm{Estudante}(x): “ x é um estudante nesta sala”.
– Predicado unário \mathrm{Computador}(y): “ y é um computador”.
– Predicado binário \mathrm{Possui}(x,y): “ x possui y”.

Passo 3

Agora expressamos “existe um estudante x e existe um computador y tal que x é estudante, y é computador e x possui y”:
\exists x\,\exists y\;\bigl(\mathrm{Estudante}(x)\wedge \mathrm{Computador}(y)\wedge \mathrm{Possui}(x,y)\bigr).

Resposta

\exists x\,\exists y\;\bigl(\mathrm{Estudante}(x)\wedge \mathrm{Computador}(y)\wedge \mathrm{Possui}(x,y)\bigr).

Exercícios de Livros Relacionados