Considere Q(x, y) como a proposição "o estudante x foi um participante no programa de perguntas e respostas y ". Expresse cada uma das sentenças abaixo em termos de Q(x, y ), quantificadores e conectivos lógicos, em que o domínio para x são todos os estudantes de sua escola e o domínio de y, todos os programas de perguntas e respostas da televisão.
Há um estudante na sua escola que participou de um programa de perguntas e respostas na televisão.

Passo 1

O enunciado diz que “há um estudante na sua escola que participou de um programa de perguntas e respostas na televisão”. Precisamos formalizar essa ideia usando a proposição Q(x,y), onde o domínio de x é o conjunto de todos os estudantes e o domínio de y é o conjunto de todos os programas de perguntas e respostas na TV.

Passo 2

A expressão “há um estudante” corresponde a um quantificador existencial sobre x, e “participou de um programa” implica que existe um quantificador existencial sobre y, de modo que Q(x,y) seja verdadeira.

Resposta

\exists x\,\exists y\,Q(x,y)

Exercícios de Livros Relacionados