Wikipédia em português - A enciclop...
Download this dictionary
Dupla negação
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,
Veja mais na Wikipédia.org...
© Esse artigo usa material da
Wikipédia
®
sob a licença
Licença GNU de Documentação Livre
e sob nos termos da licença
Creative Commons Attribution-ShareAlike