Considere
como a proposição "o estudante
foi um participante no programa de perguntas e respostas
". Expresse cada uma das sentenças abaixo em termos de
,
), quantificadores e conectivos lógicos, em que o domínio para
são todos os estudantes de sua escola e o domínio de
, 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.
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
, onde o domínio de
é o conjunto de todos os estudantes e o domínio de
é 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
, e “participou de um programa” implica que existe um quantificador existencial sobre
, de modo que
seja verdadeira.