Olá Rodrigo, acho que isso pode te ajudar: http://www78.wolframalpha.com/input/?i=((P%20implies%20Q)%20implies%20R)&t=ff3tb01
att, Plácido 2009/7/2 Rodrigo Oliveira <[email protected]> > > Olá para todos, > > Alguém sabe onde encontro uma lista de equivalências do cálculo > proposicional? > Preciso de uma fórmula equivalente a ((P → Q) → R) em termos de negação e > conjunção. > > Rodrigo > ------------------------------ > Instale o novo Internet Explorer 8 otimizado para o MSN. Download > aqui<http://ie8.msn.com/microsoft/internet-explorer-8/pt-br/ie8.aspx> > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > -- --------------------------------------------------------------- Plácido Antônio de Souza Neto Professor do IFRN Doutorando em Ciência da Computação Mestre em Sistemas e Computação Tecnólogo em Desenvolvimento de Software --------------------------------------------------------------- http://www.cefetrn.br/~placido http://www.last.fm/user/placidoneto/ http://placidoneto.blogspot.com http://picasaweb.google.com/placido.neto “Eu creio no Cristianismo tal como creio que o Sol nasceu, não apenas porque o vejo mas porque através dele eu vejo todas as outras coisas.” C S Lewis
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
