Oi Regivan, a demonstração sintática não deve ser difícil, mas como a lógica é completa (imagino que se trate da lógica infinitária de Lukasiewicz) isto pode ser verificado em termos de propriedades da função min. Abs Walter
Em sáb., 18 de jul. de 2020 às 17:26, Regivan Hugo Nunes Santiago <regi...@dimap.ufrn.br> escreveu: > > 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. -- 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/CAOrCsLdwTB7Y_0Fw6shXX2w%2B%2B8DeWuJBSDgEMJQ%3DqFjv%2BJmwsQ%40mail.gmail.com.
