Revisão das 18h45min de 30 de novembro de 2009 editar TXiKiBoT (discussão \| contribs) Robôs 356 520 edições m Bot: Adicionando: nl:Eliminatie van dubbele negatie ← Ver a alteração anterior		Revisão das 02h44min de 20 de fevereiro de 2010 editar desfazer Diego Queiroz (discussão \| contribs) Autorrevisores 8 755 edições m Adicionando "Regras de inferência" (usando HotCat) Ver a alteração posterior →
Linha 42: [[Categoria:Lógica]] [[Categoria:Regras de inferência]] [[en:Double negative elimination]]

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