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.
Pelo menos dois estudantes da sua escola foram participantes do Show do Milhão.
Pelo menos dois estudantes da sua escola foram participantes do Show do Milhão.
Passo 1
O enunciado define o predicado
= “o estudante
participou do programa de perguntas e respostas
”.
O domínio de são todos os estudantes da escola e o de
são todos os programas de perguntas e respostas na televisão.
Queremos expressar que “pelo menos dois estudantes da sua escola foram participantes do Show do Milhão”.
O domínio de
Queremos expressar que “pelo menos dois estudantes da sua escola foram participantes do Show do Milhão”.
Passo 2
A expressão “pelo menos dois estudantes” significa que existem dois estudantes distintos, digamos
e
, que satisfazem a condição em questão.
Para referir-nos especificamente ao programa “Show do Milhão”, introduzimos uma constante que denota esse programa.
Para referir-nos especificamente ao programa “Show do Milhão”, introduzimos uma constante
Passo 3
Com isso, a tradução para lógica de predicados fica: