Доказом є блок-схема низка тверджень і міркувань, що стоять за ними, які використовуються для демонстрації істинності математичного твердження. У доказі блок-схеми правдиві твердження записані в рамки, а аргументи та логіка записані під рамками в рядку.
Доказ блок-схеми використовує візуальне представлення у формі діаграма представити логічний аргумент. Замість того, щоб покладатися виключно на письмовий текст, блок-схема організовує кроки аргументації в графічному форматі, використовуючи символи та стрілки для позначення процесу міркування.
Іншим форматом перевірки є перевірка блок-схеми або перевірка потоку, яка використовує коробки та стрілки щоб показати хід логічного аргументу.
Блок-схема є діаграма, яка зображує процес, систему або комп'ютерний алгоритм. Вони широко використовуються в багатьох сферах для документування, вивчення, планування, вдосконалення та передачі часто складних процесів у чітких, легких для розуміння діаграмах.
Блок-схеми створити послідовний механізм для розуміння процесу та засобів керування спрощеним способом. Візуальне середовище забезпечує структуру для полегшення розмови про наскрізний процес. Ризики та засоби контролю легко визначити на блок-схемі, що робить цей метод кращим для більшості аудиторів.
У доказі блок-схеми правдиві твердження записані в прямокутники, а під ними в рядок записані міркування та логіка. Кожне твердження в рамці з’єднується з попереднім твердженням стрілкою, що дозволяє з’єднати твердження з останнім твердженням.