Аннотация:Будет определено понятие диаграммы дедуктивного вывода, которая являются простой формой для представления доказательств в интуиционистском импликативном исчислении, и описано эффективное сведение разрешающей процедуры для интуиционистских импликативных тавтологий к разрешающей проблеме для диаграмм дедуктивного вывода.