https://www.passeidireto.com/pergunta/130666227/uma-das-aplicacoes-mais-antigas-da-logica-enquanto-elemento-formal-de-desenvolvi