Справочник от Автор24
Нужна помощь?
Найдем эксперта за 5 минут
Подобрать эксперта
+2
Забирай в ТГ промокод на 1000 рублей
А еще там много крутого контента!
Подписаться

Вывод логический

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

рассуждение, в ходе которого из каких-либо исходных суждений – посылок с помощью логических правил получают заключение – новое суждение.

Научные статьи на тему «Вывод логический»

Искусственный интеллект и логическое программирование

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

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

Модель логического вывода

В данной работе рассматривается модель логического вывода в виде двудольного графа, где один тип вершин соответствует предикатным буквам, а другой, разбитый на два подтипа, дизъюнктам и благоприятным наборам, соответственно. Предложенная модель 21 может использоваться для логического вывода в исчислении предикатов в соответствии с реализованными методами, например Робинсона и Маслова.

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

Секвенции

выводится дизъюнкция формул, образующих сукцедент....
Существует два типа правил выводалогические и структурные....
– чтобы вводить логический знак в сукцедент....
входящих в посылки) путем введения логического знака....
В исчислении секвенций вывод принимает форму дерева секвенций.

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

Ускоритель нечеткого логического вывода

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

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

Понятие «Бритва Оккама»

методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: «Сущности не следует умножать без необходимости». У. Оккам, средневековый англ. философ и логик, направлял этот принцип против распространенных в то время попыток объяснить новые явления введением разного рода «скрытых качеств», ненаблюдаемых «сущностей», таинственных «сил» и т. п. «Б. О.» может рассматриваться как одна из первых ясных формулировок принципа простоты, требующего использовать при объяснении определенного круга эмпирических фактов возможно меньшее количество независимых теоретических допущений. Принцип простоты проходит через всю историю естественных наук. Многие крупнейшие естествоиспытатели указывали, что он неоднократно играл руководящую роль в их исследованиях. В частности, Ньютон выдвигал особое методологическое требование «не излишествовать» в причинах при объяснении явлений.

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

Понятие «Подмена понятия»

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

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

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

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

Поможем справиться с любыми заданиями. Квалифицированные и проверенные эксперты

Получить помощь
Забирай в ТГ промокод
на 1000 ₽

А еще в нашем канале много крутого контента

Перейти в Telegram bot