Равноудаляемость
- В математической логике две формулы считаются равнозначными, если они выполнимы в определенных условиях.
- Равнозначность отличается от логической эквивалентности, так как две эквивалентные формулы имеют одинаковые модели.
- Равнозначность используется в контексте перевода формул для определения правильности перевода.
- Примеры переводов, сохраняющих равнозначность, включают сколемизацию и некоторые переводы в конъюнктивную нормальную форму.
- Две формулы могут быть не эквивалентными, даже если они равнозначны, из-за различий в моделях.
Полный текст статьи:
Равновыполнимость — Википедия
Похожие статьи:
- Формула-1 Оглавление1 Formula One1.1 История Формулы-11.2 Правила и технологии1.3 Финансовые и политические аспекты1.4 Технологические достижения1.5 Коммерциализация и...
- Непрерывная функция Оглавление1 Непрерывная функция1.1 Определение непрерывности1.2 История непрерывности1.3 Реальные функции1.4 Частичные функции1.5 Математическая нотация1.6 Определение непрерывности функции1.7...
- Топологическое векторное пространство Оглавление1 Топологическое векторное пространство1.1 Определение топологического векторного пространства1.2 Примеры TVS1.3 Ненормированные TVS1.4 Категория и морфизмы TVS1.5...
- Метризуемое топологическое векторное пространство – Arc.Ask3.Ru Оглавление1 Метризуемое топологическое векторное пространство1.1 Метризуемые и псевдометризуемые топологические векторные пространства1.2 Псевдометрия и её свойства1.3 Псевдометрическое...
- Метризуемое топологическое векторное пространство Оглавление1 Метризуемое топологическое векторное пространство1.1 Метризуемые и псевдометризуемые топологические векторные пространства1.2 Псевдометрия и её свойства1.3 Псевдометрическое...
- Нормальная форма отрицания Нормальная форма отрицания Формула имеет нормальную форму отрицания (NNF) в математической логике, если оператор отрицания применяется...
- Jus soli Оглавление1 Просто соли1.1 Право собственности (jus soli)1.2 Ограниченное право собственности1.3 Примеры ограниченного права собственности1.4 Примеры неограниченного...
- Банковский перевод Оглавление1 Безналичный перевод1.1 Определение и история безналичных переводов1.2 Международные и внутренние переводы1.3 Регулирование и безопасность1.4 Методы...
- Протестантская Библия Оглавление1 Протестантская Библия1.1 Протестантская Библия и её состав1.2 История протестантских Библий1.3 Ранние протестантские переводы1.4 Переводы на...
- Метризуемое топологическое векторное пространство – Arc.Ask3.Ru Оглавление1 Метризуемое топологическое векторное пространство1.1 Метризуемые и псевдометризуемые топологические векторные пространства1.2 Псевдометрия и её свойства1.3 Псевдометрическое...
- Булева функция Логическая функция Булева алгебра – раздел математики, изучающий логические операции и функции. Логические операции включают конъюнкцию,...
- Серия (математика) Оглавление1 Серия (математика)1.1 Определение рядов1.2 История и применение1.3 Свойства рядов1.4 Примеры рядов1.5 Сходимость рядов1.6 Группировка и...
- Машинный перевод на основе перевода Оглавление1 Машинный перевод на основе перевода1.1 Основы машинного перевода на основе перевода1.2 Дизайн и методы работы1.3...
- Microsoft Translator Оглавление1 Переводчик Microsoft1.1 Обзор Microsoft Translator1.2 История и развитие1.3 Возможности и функции1.4 Пользовательский переводчик и Центр...
- Один передаваемый голос Оглавление1 Единый передаваемый голос1.1 Социальный выбор и механизмы1.2 Методы голосования1.3 Пропорциональное представительство1.4 Процесс STV1.5 Пример беспартийных...
- Клевета – Arc.Ask3.Ru Оглавление1 Диффамация1.1 Определение диффамации1.2 История диффамации1.3 Англосаксонская Англия1.4 Права человека1.5 Право на защиту от диффамации1.6 Обеспечение...
- Jus soli Оглавление1 Просто соли1.1 Право почвы (jus soli)1.2 Национальные законы1.3 Неограниченное право собственности1.4 Ограниченное право собственности1.5 Камбоджа1.6...
- Ближневосточный институт медиаисследований Оглавление1 Ближневосточный институт исследований СМИ1.1 История и цели MEMRI1.2 Критика и обвинения1.3 Проекты и деятельность1.4 Финансовая...
- Переводы Библии на болгарский язык – Википедия Оглавление1 Переводы Библии на болгарский язык1.1 История и значение Царского четвероевангелия Ивана Александра1.2 Содержание и иллюстрации1.3...
- Китайская литература – Википедия Оглавление1 Китайская литература1.1 История китайской литературы1.2 Доклассический период1.3 Классические тексты1.4 Исторические тексты, словари и энциклопедии1.5 Классическая...
- Групповое действие Оглавление1 Group action1.1 Основные понятия теории групп1.2 Свойства действий групп1.3 Примеры действий групп1.4 Топологические свойства действий...
- Статистический машинный перевод Оглавление1 Статистический машинный перевод1.1 История и развитие машинного перевода1.2 Статистический машинный перевод1.3 Преимущества и недостатки SMT1.4...