Na lógica e na lógica proposicional, as regras de inferência eliminação da dupla negação e introdução da dupla negação permitem eliminar ou introduzir um par de sinais de negação. Essas regras se baseiam na equivalência de, por exemplo,