> 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?
Bom, você pode produzir antilogias a partir de tautologias simplesmente trocando cada operador clássico pelo seu *dual*, a saber: - conjunções por disjunções, e vice-versa - implicações por co-implicações (ou, se não quiser trabalhar com co-implicações na linguagem, troque A->B diretamente por (~A)&B), e vice-versa - bi-implicações por disjunções exclusivas, e vice-versa (observe por exemplo que o dual de A+(~A), onde + é a disjunção exclusiva, é a sentença que expressa a estrutura do paradoxo de Russell, A<->(~A)) - negações por negações mesmo - tops por bottoms, e vice-versa - nand por nor, e vice-versa - etc, usw, and so on Você pode em seguida, claro, adaptar o seu software gerador de tautologias para gerar antilogias usando o mesmo procedimento. Este procedimento não funciona só para fórmulas, mas também para inferências, trocando "preservação de verdade" por "preservação de falsidade". O procedimento na realidade não tem nada de intrinsecamente "semântico", e pode ser estendido para lógicas não-clássicas, usando a noção certa de *dualidade*, que pertence à Lógica Universal. A negação não tem, em princípio, nada a ver com esta história. Saudações lógicas, Joao Marcos -- My homepage: http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
