https://www.passeidireto.com/pergunta/132154362/a-inferencia-em-logica-de-primeira-ordem-e-o-procedimento-pelo-qual-se-deduzem-c