Статья 255

К их числу относится широко известный метод рассуждения путем разбора случаев для того чтобы построить вывод формулы из посылок, нам достаточно получить выводы этой формулы из множества посылок и множества посылок.
Еще одним интересным способом рассуждения, который может быть оформлен в виде непрямого производного правила, является так называемый метод доказательства от противного. Пусть нам нужно получить вывод формулы из посылок. Тогда, данную задачу мы сводим к следующей отрицание формулы добавляем в качестве посылки к множеству и пытаемся получить из посылок противоречие. Если таковое получено, например мы выводим, то это означает, что можно построить вывод. Обозначив противоречие константой, можно записать соответствующее этому типу рассуждений правило.
Необходимо заметить, что способ рассуждения от противного, который выражен в этом правиле, является сугубо классическим.