A lógica e sua interpretação na matemática e na informática