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.
Todo programa de perguntas e resposta da televisão teve como participante um estudante de sua escola.
Todo programa de perguntas e resposta da televisão teve como participante um estudante de sua escola.
Passo 1
O enunciado pede para traduzir a frase “Todo programa de perguntas e resposta da televisão teve como participante um estudante de sua escola” usando a proposição
que significa “o estudante
foi um participante no programa de perguntas e respostas
”. O domínio de
é o conjunto de todos os estudantes da escola, e o domínio de
é o conjunto de todos os programas de perguntas e respostas da televisão. Vamos usar quantificadores para expressar a ideia de “para todo programa existe algum estudante participante”.
Passo 2
A frase “para todo programa de perguntas e respostas da televisão existe um estudante da escola que participou dele” se traduz diretamente em lógica de predicados como