Dupla negação: diferenças entre revisões

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 a derivação da [[dupla negação]] equivalente introduzindo (pela introdução da dupla negação) ou eliminando (pela eliminação da dupla negação) uma par de sinais de negação. Isso é baseado na equivalência de, por exemplo,

 

 

e