Математическая энциклопедия

Равенства Аксиомы

- аксиомы, регулирующие употребление отношения равенства в математич. доказательствах. Аксиомы эти утверждают рефлексивность отношения равенства и возможность замены равного равным. Символически Р. а. записываются так: где j - произвольная формула, а t - произвольный терм рассматриваемого языка; х, у, v - переменные, имеющие одну и ту же непустую область изменения; выражения вида j(x/v) и t(x/v).обозначают результат замены всех свободных вхождений переменной vв формуле ф или терме tна х. Спомощью Р. а. можно доказать симметричность и транзитивность отношения равенства. Для этого в качестве ф надо взять формулу y=v в первом случае и формулу v=z во втором. Если формулы и термы рассматриваемого языка строятся из атомарных формул и термов с помощью логич. связок и суперпозиций, то приведенные Р. а. можно вывести из их частных случаев, когда в качестве j и t берутся атомарные формулы и термы. Символически: где Ри f суть n-местные предикатный и функциональный символы. В. Н. Гришин.


Смотреть значение Равенства Аксиомы в других словарях

Принцип Равенства Граждан Перед Законом — - один из основополагающих принципов уголовного законодательства в РФ (ст. 4 УК РФ), в соответствии с которым лица, совершившие преступления, равны перед законом и подлежат........
Экономический словарь

Принцип Суверенного Равенства Государств — - общепризнанный принцип международного права, означающий, что все государства юридически равны между собой в качестве суверенных, независимых участников международного........
Экономический словарь

Теорема Равенства Цен Спот И Фьючерс — Теорема, описывающая идеальную
зависимость между текущими ценами "
спот" и фьючерсными ценами. Там, где происходит
отклонение от такой идеальной зависимости,........
Экономический словарь

Принцип Равенства Граждан Перед Законом — - один из основополагающих принципов уголовного законодательства в РФ (ст. 4 УК РФ), в соответствии с которым лица, совершившие преступления, равны перед законом и подлежат........
Юридический словарь

Принцип Суверенного Равенства Государств — - общепризнанный принцип международного права, означающий, что все государства юридически равны между собой в качестве суверенных, независимых участников международного........
Юридический словарь

Непрерывности Аксиомы — аксиомы геометрии, выражающие каким-либо образомнепрерывность прямой линии.
Большой энциклопедический словарь

Комплексный Подход К Проблеме Равенства Полов — (комплексный подход к проблеме равенства между женщинами и мужчинами) - это стратегия, заключающаяся во внедрении проблематики равенства полов на все уровни общества........
Психологическая энциклопедия

Концепция Равенства Результата — - суть современной концепции равенства, в соответствии с которой признается, что для достижения равных (одинаковых) результатов женщинами и мужчинами к ним необходимо........
Психологическая энциклопедия

Соблюдение Равенства — (Equality matching) —форма обмена, когда каждый человек получает то же, что и другие.
Психологическая энциклопедия

Точка Субъективного Равенства (тер) — Точка на континууме стимула, в которой два стимула воспринимаются как неразличимые друг от друга. Фактически точка здесь получается статистически и представляет одно........
Психологическая энциклопедия

Комплексный Подход К Проблеме Гендерного Равенства — Впервые концепция  такого подхода  появилась в различных международных документах после проведения III Всемирной Конференции ООН по проблемам  женщин (Найроби,........
Социологический словарь

Аксиомы Религиозного Опыта — - у И.Ильина: цельность веры, духовность, самодеятельность, сердечное созерцание, катарсис, искренность, смирение и трезвение в восприятии Духа самыми разными подвижниками........
Философский словарь

Отношение Типа Равенства — - двухместное отношение R между предметами х и у области D (см.: Предметная область), удовлетворяющее следующим аксиомам (условиям): 1) аксиоме рефлексивности: xRx (предмет........
Философский словарь

Посмотреть еще слова :