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
