https://www.passeidireto.com/pergunta/135899003/a-regra-de-inferencia-que-assegura-a-verdade-da-conclusao-admitindo-a-verdade-da