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
, sua negação é outra proposição que troca os valores de verdade de
.
Passo 2
Definimos a negação de uma proposição
como a proposição
que satisfaz:
Isso fica claro na tabela-verdade abaixo:
Resposta
A negação de uma proposição
é a proposição
que inverte os valores de verdade de
:
– se é verdadeira,
é falsa;
– se é falsa,
é verdadeira.
– se
– se