Формализму исчисления высказываний соответствует подход, называемый

  • визуальным программированием
  • логическим программированием
  • событийно-ориентированным программированием

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.