Формализму исчисления высказываний соответствует подход, называемый
- визуальным программированием
- логическим программированием
- событийно-ориентированным программированием
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.