Как выявить противоречия в цепочке логических выражений
В логике часто возникает необходимость проверить правильность цепочки логических выражений. Ошибка в одном из этих выражений может привести к неверному результату и искажению всей логической структуры. Для облегчения процесса проверки можно использовать методы определения противоречий. Противоречие — это ситуация, когда логические выражения в цепочке противоречат друг другу, т.е. невозможно достичь одинакового истинностного значения всех выражений. … Читать далее