Teoria Estrutural da Prova: Uma Abordagem via Grafos de Prova