Ainda aguardo por um exemplo do fenômeno que lhe preocupa, para que eu possa tentar compreendê-lo.
JM 2012/12/7 Tony Marmo <[email protected]>: > Se, por exemplo, houver a exigência de que essa equivalência seja > demonstrada, sem o método de tabelas, acredito eu, ou então dependendo do > modo como a equivalência é definida. Mas, isto não é uma resposta > enciclopédica, é uma análise que faço. > > Em 7 de dezembro de 2012 21:46, Joao Marcos <[email protected]> escreveu: > >> Gostaria de pedir um esclarecimento para ver se entendo exatamente do >> que estamos falando. >> >> Será que alguém poderia nos fazer o favor de definir >> - lógica L >> - L-tautologia >> - L-equivalência >> tais que duas L-tautologias T1 e T2 não sejam L-equivalentes? >> >> JM >> >> 2012/12/7 Tony Marmo <[email protected]>: >> > Mas, essa equivalência de tautologias em muitas mas não todas as >> > lógicas, >> > verificável por métodos como tabela de verdade, vem historicamente da >> > herança da lógica clássica. -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
