Olá, Dídimo,
bem, 1) ~~A->A é um postulado em C1, no entanto,
2) A->~~A é inválido, não é isso?
Mas o que eu disse foi justamente 2), ou seja, *não se pode derivar ~~A de A*.
Certo?
Abraços,
Júlio
________________________________
De: Dídimo Matos <[email protected]>
Para: julio cesar <[email protected]>; logica <[email protected]>
Enviadas: Domingo, 5 de Setembro de 2010 18:00:40
Assunto: Re: [Logica-l] Res: esquemas paraconsistentes
~~a---> a vale em c1. Não entendi.
Abraços,
Dídimo Matos
http://didimogeorge.blogspot.com/
http://twitter.com/didimogeorge
_______________________
Para algumas pessoas, antes morrer que pensar. E, morrem antes mesmo.
Russell em tradução de Rodrigo Jungman.
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
