https://wp.ufpel.edu.br/matematicanoturno/grade-curricular-2/introducao-a-logica/