Escreva a negação de cada uma das seguintes proposições:
Ontem foi domingo.

Passo 1

O enunciado pede que eu escreva a negação da proposição dada.
Informações fornecidas: a proposição é a frase “Ontem foi domingo.”
Tarefa: encontrar a negação lógica dessa proposição e apresentá‑la de forma clara.

Passo 2

Primeiro uma explicação sobre o que é negação: se chamarmos a proposição original de p, isto é,
p:\\ \text{``Ontem foi domingo.''}
então a negação de p é a proposição \neg p que tem valor de verdade contrário ao de p. Em palavras: \neg p é verdadeira exatamente quando p é falsa, e \neg p é falsa exatamente quando p é verdadeira. Para visualizar:
\begin{array}{c|c} p & \neg p\\hline \text{Verdadeiro} & \text{Falso}\\\ \text{Falso} & \text{Verdadeiro} \end{array}

Passo 3

Como formar a negação em linguagem natural: a negação é simplesmente a afirmação de que a proposição original não é verdadeira. Uma maneira direta de escrever \neg p é colocar a palavra “não” diante da proposição inteira:
\neg p:\\ \text{``Não é verdade que ontem foi domingo.''}ãé

Passo 4

Simplificando a frase para uma forma mais natural e usual, removemos o “é verdade que” e colocamos a negação diretamente no verbo ou no predicado. Assim obtemos:
\neg p:\\ \text{``Ontem não foi domingo.''}ã
Essas duas formas são logicamente equivalentes: “Não é verdade que ontem foi domingo” e “Ontem não foi domingo” dizem a mesma coisa em termos de valor lógico.

Passo 5

Exemplos rápidos para fixar: se de fato ontem foi domingo, então p é verdadeiro e \neg p é falso. Se ontem foi segunda, então p é falso e \neg p é verdadeiro.
Atenção a um erro comum: a negação não é afirmar um dia alternativo (por exemplo, não é correto dizer que a negação é “Ontem foi sábado”); a negação apenas nega a afirmação original, sem especificar qual dia foi.

Resposta

Ontem não foi domingo.

Exercícios relacionados