Negação
Origem: Wikipédia, a enciclopédia livre.
| OPERAÇÕES MATEMÁTICAS |
| Aritmética |
| Adição |
| Subtração |
| Multiplicação |
| Divisão |
| Exponenciação |
| Radiciação |
| Logaritmação |
| Lógica |
| Conjunção |
| Disjunção |
| Implicação |
| Negação |
Em lógica e matemática, negação é uma operação sobre valores lógicos, por exemplo o valor lógico de uma proposição. Se a proposição é verdadeira, então o operador lógico negação produz o valor falso, e vice versa. A tabela de verdade para NÃO p (também grafado com ~p ou ¬p) é a seguinte:
| p | ¬p |
|---|---|
| F | V |
| V | F |
Em um sistema de lógica clássica, a negação dupla, isto é, a negação da negação de uma proposição p, é logicamente equivalente à proposição inicial p. Todavia, em um sistema de lógica intuicionista tal equivalência não é aceita.
Categorias: Metafísica | Gramática | Lógica | Semântica
