Общезначимость

120

- свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. Символов, т. Е. Предикатных и пропозициональных переменных. Логич. Формулы, обладающие этим свойством, наз. Общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов "формула Аобщезначима" часто пишут. Важнейшими видами логич. Формул являются пропозициональные и предикатные формулы. При классич. Понимании логических операций О. Пропозициональных формул проверяется путем построения истинностных таблиц:формула общезначима тогда и только тогда, когда при любых истинностных значениях пропозициональных переменных она принимает значение И ("истина").

О. Предикатной формулы означает истинность в любой модели. Множество общезначимых предикатных формул неразрешимо, т. Е. Не существует алгоритма, позволяющего для произвольной предикатной формулы выяснить, общезначима ли она. Из Гёделя теоремы о полноте следует, что все общезначимые предикатные формулы и только они выводимы в классич. Исчислении предикатов. Лит.:[1] Клини С. К., Математическая логика, пер. С англ., М., 1973. В. Е. Плиско..

Значения в других словарях
Общее Решение

системы обыкновенных дифференциальных уравнений п- гопорядка в области G- гладкое по t и непрерывное по совокупности параметров n-параметрическое семейство вектор-функций откуда при соответствующем выборе значений параметров получается любое решение системы, график к-рого проходит в области . Здесь область, где выполнены условия теоремы существования и единственности для системы (1). (Иногда условливаются, что параметры могут принимать и значения .) Геометрически О. Р. Системы (1) в облас..

Общерекурсивная Функция

- частично рекурсивная функция, определенная для всех значений аргументов. Понятие О. Ф. Может быть определено и независимо от понятия частично рекурсивной функции следующим образом. Класс всех О. Ф.- это наименьший класс функций, содержащий все примитивно рекурсивные функции и замкнутый относительно композиции функций и наименьшего числа оператора при условии, что последний применяется к функции лишь тогда, когда Однако изучение О. Ф. Обычно ведется в классе всех частично рекурсивных функц..

Общий Интеграл

системы обыкновенных дифференциальных уравнений n -го порядка в области G- совокупность псоотношений содержащая ппараметров и в неявном виде описывающая семейство функций, составляющих общее решение этой системы в области G. Часто О. И. Системы (1) наз. Не соотношения (2), а совокупность функций Каждое из соотношений (2) [или каждая из функций (3)] наз. первым интегралом системы (1). Иногда под О. И. Системы (1) понимают совокупность более общих, чем (2), соотношений В случае обыкнове..

Дополнительный поиск Общезначимость Общезначимость

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Общезначимость" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Общезначимость, различные варианты толкований, скрытый смысл.

Первая буква "О". Общая длина 14 символа