Caríssimos amigos,
Estou procurando algo que, segundo me parece, deva ser trivial, mas não
achei. É um fato conhecido que se um sub-reticulado S* de uma álgebra de
Stone S contiver os pseudo-complentos dos elementos de S, S*={s* pertence
S: s pertence a S}, então S* é uma álgebra de Boole. Gostaria de saber onde
acho ou como faço a demonstração disto. Muito obrigado.
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
