Справочник от Автор24
Нужна помощь?
Найдем эксперта за 5 минут
Подобрать эксперта
+2

Разделительное доказательство

Предмет Логика
👍 Проверено Автор24

разновидность косвенного доказательства, в котором последовательно отбрасываются альтернативные тезису утверждения.

Скачать

Научные статьи на тему «Разделительное доказательство»

Виды косвенного доказательства: апагогическое и разделительное

Выделяют следующие основные виды косвенных доказательств: апагогическое, разделительное....
Разделительное доказательство Суть разделительного доказательства состоит в том, что методом исключения...
Для использования разделительного доказательства важно обеспечить полный охват вариантов, исчерпывающий...
Итак, при использовании разделительных доказательств основная сложность (порождающая типичные ошибки)...
В таком случае разделительное доказательство неприменимо.

Статья от экспертов

О расширениях оператора параметрического замыкания с помощью логических связок

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

Научный журнал

Прямое и косвенное доказательство

Косвенное доказательство Определение 3 Косвенным доказательством называют доказательство, в рамках...
Одним из видов косвенного доказательства является апагогическое доказательство, также называемое доказательством...
Еще один вид косвенного доказательстваразделительное доказательство (базирующееся на методе исключения...
Антитезис в таком случае – это один из членов разделительного суждения....
каждого члена разделительного суждения, за исключением одного.

Статья от экспертов

Еще термины по предмету «Логика»

Понятие «Вещь для нас»

термин, означающий объем наших представлений о вещи в процессе познания (обычно добавляют и практической деятельности человека , что в общем случае одно и то же).

🌟 Рекомендуем тебе

Понятие «Лжеца» парадокс

один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Попробовать тренажер