DEFINIÇÃO...

Símbolos
É uma operação que modifica o valor
lógico de uma proposição. Assim, se temos A negação da proposição p pode ser representada
uma proposição com valor VERDADEIRO, por: ̴p ou ¬p.
ao aplicarmos a negação teremos uma
nova proposição com valor FALSO, e vice- Expressões
versa.
As formas mais comuns de expressarmos uma
Também conhecida como Modificador Lógico.
negação em uma oração são:
Tabela-Verdade:
p ( ̴p) “...não...”; “É falso que...”; “Não é verdade que...”.
V F
F V
NEGAÇÃO
de Proposições Simples

Negação de
Negação de
Proposições Categóricas
Proposições Aritméticas