Логика необходимости (Necessity-based logic) – тип логики, где каждый логический объект, который располагается в хвостовой части стрелки, должен существовать, чтобы существовал и тот логический объект, на который эта стрелка указывает.
Применение: диаграммами мыслительных процессов, использующими данный тип логики, являются грозовые тучи и деревья перехода. Обоснованность связи объектов изучается путем проверки обоснованности исходных посылок, лежащих в основе взаимосвязи между двумя объектами.
Иллюстрация: чтение диаграмм логики необходимости начинается с логического объекта, на который указывает стрелка. Например: «Чтобы (10) условие, необходимо, чтобы (20) предпосылка». Приведенная диаграмма сопровождена словесным описанием: «Чтобы (10) я мог купить еду, необходимо, чтобы (20) у меня были деньги».
См.также: исходная посылка, логический объект, грозовая туча, дерево перехода, внимательное изучение.