Dupla negação: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 35:
Como a bicondição é uma [[relação de equivalência]], qualquer instância ¬¬''A'' em uma [[fórmula bem formada]] pode ser substituída por ''A'', não mudando o [[valor-verdade]] da fbf.
Eliminação da dupla negação é um teorema da [[lógica clássica]], mas não da [[Intuicionismo|lógica intuicionista]]. Uma sentença como ''Não é verdade que não está chovendo.'' é mais fraca que ''Está chovendo.''. Está última sentença requer uma prova de que está chovendo, enquanto a primeira requer somente uma prova de que a chuva não seja contraditória. (Essa distinção também ocorre na linguagem natural, na forma de [[litotes]]). Já a introdução da dupla negação é um teorema da lógica intuicionista.
==Ver também==
| |||