Considere
como a proposição "
ama
", em que o domínio para
e
são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
Há exatamente duas pessoas a quem Lynn ama.
Há exatamente duas pessoas a quem Lynn ama.
Passo 1
O enunciado pede “há exatamente duas pessoas a quem Lynn ama”. Vamos usar lógica de primeira ordem com quantificadores e igualdade para capturar essa ideia de “exatamente duas”. Denotamos Lynn por uma constante
.
Passo 2
Primeiro garantimos que existem duas pessoas distintas que Lynn ama. Assim escrevemos:
Passo 3
Agora asseguramos que Lynn não ama nenhuma outra pessoa além dessas duas, ou seja, para toda pessoa
, se
então
é uma das duas: