a) Defina a negação de uma proposição.

Passo 1

O enunciado pede para definirmos o conectivo de negação na lógica proposicional. O que precisamos lembrar é que, dado qualquer proposição P, sua negação é outra proposição que troca os valores de verdade de P.

Passo 2

Definimos a negação de uma proposição P como a proposição \neg P que satisfaz:
\neg P \text{ é verdadeira exatamente quando } P \text{ é falsa, e é falsa exatamente quando } P \text{ é verdadeira.}éééé
Isso fica claro na tabela-verdade abaixo:
\begin{array}{c|c} P & \neg P \\hline \text{V} & \text{F} \\\ \text{F} & \text{V} \end{array}

Resposta

A negação de uma proposição P é a proposição \neg P que inverte os valores de verdade de P:
– se P é verdadeira, \neg P é falsa;
– se P é falsa, \neg P é verdadeira.