Qual é a negação de cada proposição a seguir?
2+1=3.

Passo 1

O enunciado pede a negação de uma proposição atômica simples, que é
2+1=3.
Em lógica proposicional, para negar uma igualdade basta trocar o símbolo “ =” por “ \neq”.

Passo 2

Aplicando essa regra, a negação fica
\lnot(2+1=3)\equiv 2+1\neq3.

Resposta

\lnot(2+1=3)\equiv 2+1\neq3

Exercícios de Livros Relacionados