Caríssimos, Alguém conhece alguma referencia que tenha a demonstração da propriedade de Exchange: I(x,I(y,z))=I(y,I(x,z)) para a implicação I(x,y)=min(1,1-x+y)?
Regivan ******************************************************** Prof. Dr. Regivan Hugo Nunes Santiago Group for Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Avenida Senador Salgado Filho, 3000, Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan (Outdated) e-mail: regivan AT DOMAIN=dimap,ufrn,br. ******************************************************** -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7C94BEAD-276E-431A-A3F2-8F28AA421759%40dimap.ufrn.br.
