Uma parte muito interessante da filosofia é a que trata da obra de pensadores que, lançando mão da lógica formal, construíram argumentos que têm a finalidade de comprovar ou demonstrar a existência…