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.
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 : “
é um estudante nesta sala”.
– Predicado unário : “
é um computador”.
– Predicado binário : “
possui
”.
– Universo de discurso: pessoas e computadores.
– Predicado unário
– Predicado unário
– Predicado binário
Passo 3
Agora expressamos “existe um estudante
e existe um computador
tal que
é estudante,
é computador e
possui
”: