Формальных Систем Эквивалентность
отношение между формальными системами, состоящее в том, что множества выражений, выводимых в этих системах совпадают. Точнее, две формальные системы S1 и S2 эквивалентны тогдн и только тогда, когда Выполняются следующие условия. 1) всякая аксиома системы S1 выводима в системе S2. 2) всякая аксиома системы S2 выводима в системе S1. 3) если выражение Внепосредственно следует из выражений A1, . ., А п в силу одного из правил вывода системы S1 и выражения A1, . An выводимы в системе S2, то Втакже выводимо в системе S2. 4) аналогично 3) с заменой S1 на S2 и S2 на S1. B. Е. Плиско.
Дополнительный поиск Формальных Систем Эквивалентность
На нашем сайте Вы найдете значение "Формальных Систем Эквивалентность" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Формальных Систем Эквивалентность, различные варианты толкований, скрытый смысл.
Первая буква "Ф". Общая длина 33 символа