A logical graph is a certain directed graph with which any mathematical theory or proof can be presented - its logic is formulated in graph form. Compared to the usual narrative description, the presentation usually gains in survey, clarity and precision. A logical graph formulation can be thought of as a detailed and complete map over the mathematical landscape. The main goal in the design of logical graphs is didactical: to improve the orientation in a mathematical proof or theory for a reader, and thus to improve the access of mathematics.

En logisk graf är en form av riktad grad med vilken vilken matematisk teori eller bevis kan presenteras. Dess logik formuleras i grafform. Jämfört med en vanliga narrativa beskrivningen, vinner presentationen vanligen i överblick, klarhet och precision. Det huvudsakliga målet är didaktiskt: att göra det lättare för en läsare att orientera sig i en teori eller i ett bevis.