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