[c]Дмитрий Негиус, 2010.[c]

Логику надобности можно отнести к модальной логике, так как она изучает суждения с модальностями "надо" и "не надо". Возможные действия человека относятся к нужным и не нужным и при планировании действий и принятии решений нужно выбирать только нужные действия из возможных. Зная теоремы логики надобности Belize IBC, можно отбросить очень много действий, ненужность которых на первый взгляд не очевидна.

Тезис: У нужного только нужные последствия.

Доказательство.

Если не нужны травмы и смерть, то не нужно прыгать с крыши девятиэтажки. Поэтому, если не нужно следствие, то не нужна его причина. Поэтому если нужна причина, то нужны её следствия. Поэтому у нужного только нужные последствия.

Тезис: Всё необходимое необходимо и достаточно.

Доказательство.

Необходимое в круге достаточного (диаграмма Эйлера). Если всё необходимое закрашено, то весь круг закрашен и ничего лишнего не закрашено. Закраска всего необходимого для А эквивалентна закраске А.

Тезис: У ненужного только ненужные последствия.

Доказательство.

Ненужное эквивалентно всему необходимому для него. Поэтому всё необходимое для него не нужно. Следствия ненужного необходимы для него. Поэтому все следствия ненужного не нужны.

Тезис: Рисковать не надо.

Доказательство.

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

Эти теоремы обосновывают Ведическую концепцию кармы как последствий поступков. Плохая карма Belize IBC - последствия ненужных действий. Хорошая карма - последствия нужных действий. Так, в Кришнаизме запрешены азартные игры. Теорема о ненужности риска объясняет, почему у азартных игр плохая карма.