Caro Dante. A resposta está no paper sobre anéis de polinômios do Walter Carnielli.
O que é funcionalmente completo neste caso é um conjunto de conectivos "com cara de anel" com os elementos (*,+,1), onde a soma é feita modulo 3 e a multiplicação obedece a x*x*x = x. Os operadores * e + são associativos, comutativos e * distribui sobre +, como num anel. Neste caso os valores verdade são 0, 1 e 2. O conjunto de valores designados pode variar, mas a completude funcional não depende deles! Para saber se uma lógica ternária é funcionalmente completa, v deve traduzi-la para este esquema e mostrar que ela é capaz de expressar os operadores *, + e 1. []s Marcelo 2009/6/12 Dante Cardoso <[email protected]> > Alguém saberia me informar quais são as funções-veritativas para lógicas > ternárias que permitem definir todas as demais? > > ------------------------------ > Veja quais são os assuntos do momento no Yahoo! + Buscados: Top > 10<http://br.rd.yahoo.com/mail/taglines/mail/*http://br.maisbuscados.yahoo.com/>- > Celebridades<http://br.rd.yahoo.com/mail/taglines/mail/*http://br.maisbuscados.yahoo.com/celebridades/>- > Música<http://br.rd.yahoo.com/mail/taglines/mail/*http://br.maisbuscados.yahoo.com/m%C3%BAsica/>- > Esportes<http://br.rd.yahoo.com/mail/taglines/mail/*http://br.maisbuscados.yahoo.com/esportes/> > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
