1. Отвлеченное существительное по значение прилагательное : невыполнимый.
-и, женский род
Свойство по значение прилагательное невыполнимый.
Невыполнимость плана. Невыполнимость поручения.
... связаны друг с другом .: высказывание а является допустимым тогда и только тогда , когда высказывание — ¬.α невыполнимо , и наоборот , высказывание а является выполнимым тогда и только . тогда , когда высказывание ¬α недопустимо На ... ... быть также получен следующий полезный результат .: Высказывание α |= β истинно , если и только если высказывание (α.^¬β) невыполнимо Доказательство истинности высказывания β на основании истинности высказывания а путем . проверки невыполнимости выражения ... (Логика)
... выполнимо А что если он возвращает индикатор неудачи failure К сожалению , в этом случае невозможно определить , верно ли, что. высказывание является невыполнимым , или просто этому алгоритму требуется предоставить больше .шансов добиться успеха При ... ... . этапов перемещения К сожалению , если параметр тах flips имеет бесконечно большое значение ., а высказывание является невыполнимым , данный алгоритм никогда не заканчивает свою .работу Из этого следует ... (Логика)
... деградации металлизаций и контактных соединений Конечно , это не догма и есть исключительные случаи , где такие. правила невыполнимы , но тенденции ясны Ошибки моделирования схем в системах типа «PSpice »;, отягощенные недостаточными инженерными ... (Надежность радиоэлектронных устройств)
... ,.указывает на ложность исходной логической формулы Если содержит пустое предложение , то противоречиво (невыполнимо ). Если предложение не является пустым , то делается попытка вывода предложений . пока не ... ... предложений . пока не будет получено пустое (что всегда будет иметь место .для невыполнимого ) Для этого в двух предложениях , одно из которых состоит из. одной литеры , а второе ... (Модели представления знаний)
... для правила резолюции в пропозициональной логике называетсяосновной теоремой . резолюции Если множество выражений является невыполнимым , то резолюционное замыкание этих выражений . содержит пустое выражение Докажем эту теорему ... (Модели представления знаний)
... не прийти ., чем опоздать », «Контрабанда табака хуже , чем контрабанда спиртных напитков », «Давать .невыполнимые обещания равноценно тому , что вообще ничего не обещать ». Способы выражения оценок ... (Логика)
Комментарии
Оставить комментарий