https://www.passeidireto.com/pergunta/127078061/dadas-as-premissas-p-1-p-2-pn-e-uma-conclusao-uma-regra-de-inferencia-a-par-p-2-