Метод решения внутренних обратных задач в логике заключается в использовании метода «от противного». 1 Он включает три этапа: 1

1. Установление возможных вариантов при решении задачи или доказательстве теоремы. 1 Например: угол может быть тупым, прямым или острым; значение переменной может быть больше, меньше или равно значению переменной другой переменной. 1
2. Доказательство для каждого нежелательного варианта, что он неверен. 1 Как правило, удаётся установить, что для каждого нежелательного варианта какой-либо из выводов противоречит тому, что дан в условии, а потому невозможен. 1
3. На основании того, что все нежелательные варианты отброшены и только один (желательный) остался нерассмотренным, делается вывод, что именно он верный. 1

Также для решения логических задач используется алгоритм обратного вывода, который предусматривает движение по дереву вывода от цели. 2 Механизм обратного вывода основан на рекурсивной замене заданной целевой формулы в соответствии с фактами и правилами базы знаний. 2