Colegas, Andei procurando na rede, sem sucesso, alguma lista com contradições proposicionais clássicas que não fossem meras negações das tautologias famosas. Vocês conhecem alguma lista dessas? Ou algum software gerador de contradições?
Saudações, Daniel _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
