Report - LÓGICA DE PREDICADOS - UFPEcin.ufpe.br/~fred/logicaMuitoBom.doc · Web view5.2 O PRINCÍPIO DE RESOLUÇÃO PARA A LÓGICA PROPOSICIONAL 51 5.3 SUBSTITUIÇÃO E UNIFICAÇÃO 54 5.4

Please pass captcha verification before submit form