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

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

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

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

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

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

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

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

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

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

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

Секвенции

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

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

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

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

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

Понятие «Мнимое следование»

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

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

Понятие «Учетверение терминов»

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

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

Ab absurdo

(от лат.) - от нелепого; искодить от нелепого при доказательстве чего-либо.

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

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

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

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

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

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

Перейти в Telegram bot