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