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 em sua escola que participou do programa Show do Milhão e Roda da Fortuna.
Há um estudante em sua escola que participou do programa Show do Milhão e Roda da Fortuna.
Passo 1
O enunciado pede para traduzir “Há um estudante em sua escola que participou do programa Show do Milhão e Roda da Fortuna” usando a proposição
, quantificadores e conectivos lógicos. Aqui o domínio de
são todos os estudantes e o de
são todos os programas de perguntas e respostas.
Passo 2
Para referir aos dois programas específicos, introduzimos constantes:
para “Show do Milhão”
para “Roda da Fortuna”
Passo 3
Como queremos dizer que existe um estudante
que participou de ambos os programas, usamos o quantificador existencial
sobre
e a conjunção
para ligar as duas participações: