Адекватный
одинаковый, вполне соответствующий чему-либо, равный, тождественный.
разновидность косвенного доказательства, в котором последовательно отбрасываются альтернативные тезису утверждения.
Выделяют следующие основные виды косвенных доказательств:
апагогическое,
разделительное....
Разделительное доказательство
Суть разделительного доказательства состоит в том, что методом исключения...
Для использования разделительного доказательства важно обеспечить полный охват вариантов, исчерпывающий...
Итак, при использовании разделительных доказательств основная сложность (порождающая типичные ошибки)...
В таком случае разделительное доказательство неприменимо.
Актуальность и цели. Операторы замыкания один из основных инструментов классификации функций многозначной логики. Помимо широко известного оператора суперпозиции, имеется еще целый ряд так называемых сильных операторов замыкания операторов, порождающих при любом конечные либо счетные классификации множества функций -значной логики. Первым из таких операторов стал оператор параметрического замыкания, предложенный А. В. Кузнецовым в середине 1970-х гг. На основе идеи А. В. Кузнецова были введены и исследованы еще два сильных оператора замыкания: оператор позитивного замыкания и оператор с полной системой логических связок. Эту идею можно распространить на любые системы логических связок, прежде всего на наиболее употребительные связки: импликацию, разделительную дизъюнкцию и т.д. Цель работы состоит в исследовании операторов замыкания, которые возникают на этом пути. Материалы и методы. В построениях и доказательствах используются логико-функциональные методы. Результаты и выводы. Рас...
Косвенное доказательство
Определение 3
Косвенным доказательством называют доказательство, в рамках...
Одним из видов косвенного доказательства является апагогическое доказательство, также называемое доказательством...
Еще один вид косвенного доказательства – разделительное доказательство (базирующееся на методе исключения...
Антитезис в таком случае – это один из членов разделительного суждения....
каждого члена разделительного суждения, за исключением одного.
одинаковый, вполне соответствующий чему-либо, равный, тождественный.
обоснование утверждения или действия путем ссылки на какой-то авторитет. А. к а. необходим, хотя и недостаточен, в случае обоснования предписаний (команд, директив, законов государства и т. п.). Он важен также при обсуждении ценности советов, пожеланий, методологических и иных рекомендаций. Данный аргумент должен учитываться при оценке предостережений, просьб, обещаний, угроз и т. п. Несомненна роль авторитета и, соответственно, апелляции к нему едва ли не во всех практических делах.
ошибка, вызванная тем, что аргументы, подкрепляющие тезис, сами обосновываются через этот тезис.