Escreva por meio de quantificadores e predicados adequados as seguintes proposições, logo em seguida as escreva em sua forma negativa.
Todo estudante gosta de férias.
Todo estudante gosta de férias.
Passo 1
O enunciado pede para traduzir a frase “Todo estudante gosta de férias” em lógica de predicados e depois escrever a negação dessa fórmula. O conteúdo é uso de quantificadores (
,
) e negação em lógica de primeira ordem.
Passo 2
Definimos o domínio como o conjunto de todas as pessoas. Introduzimos dois predicados unários:
Passo 3
A proposição “Todo estudante gosta de férias” equivale a
Passo 4
Para negar essa fórmula, aplicamos a lei de De Morgan para quantificadores: