Истинностное Значение

86

- одно из двух значений - "истина" (И)или "ложь" (Л),- которое может принимать данная логич. Формула в рассматриваемой интерпретации (модели). И. З. Ииногда в литературе обозначается также 1, Т, t, а И. З. Л- 0, F, f. Если в модели заданы И. З. Элементарных формул, то И. З. ||А|| всякой формулы Аопределяется индуктивно следующим образом (для классич. Логики). Иногда рассматриваются интерпретации, в к-рых логич. Формула, кроме Ии Л, может принимать и другие "промежуточные" И. З. В таких интерпретациях И. З. Формул могут быть, напр., элементами булевых алгебр (так наз. булевозначные модели для классической логики), элементами псевдобулевых алгебр или открытыми множествами топологии, пространств (для интуиционистской логики), элементами топологических булевых алгебр (для модальной логики Si )(см.

[2]). При этом, если в булевозначной модели заданы И. З. Элементарных формул, то И. З. Сложных формул определяются так. где есть дополнение к элементу ||B||. Напр., в топологич. Моделях для интуиционистской логики И. З. Сложных формул определяются так. где Int (X)обозначает внутренность множества X. Лит.:[1] Новиков П. С, Элементы математической логики, 2 изд., М., 1973. [2] Расева Е., Сикорский Р., Математика метаматематики, пер. С англ., М., 1972. С. К. Соболев..

Значения в других словарях
Исследование Операций

Прикладное направление кибернетики, используемое для решения организационных (в т. Ч. Экономических) задач (распределения ресурсов, управления запасами, упорядочения и согласования и др.). Главный метод - системный анализ целенаправленных действий (операций) и объективная (в частности, количественная) сравнительная оценка возможных результатов этих действий. Исследование операций основывается на математическом аппарате оптимального программирования, теории массового обслуживания, математической ..

Истинностная Таблица

- таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. Т. Имеет вид (см. Таблицу, Иозначает "истина", Л- "ложь"). Здесь А 1, ...,А п - пропозициональные переменные, ( А 1, ..., А n) - высказывательная форма, причем истинностное значение высказывания (А 1, ...,А п )определяется истинностными значениями высказываний А 1, ...,А п. Каждаястрока таблицы соответствует одной из 2n возможных комбинаций истинностных..

Истинный Цикл

метрического пространства - последовательность zn= {...., , . } ek -циклов с условием приКомпакт, на к-ром лежат все вершины всех циклов всех симплексов И. Ц., наз. Компактным носителем z. Если f. -некоторое непрерывное отображение, то fz - также И. Ц., деформация отображения f индуцирует деформацию истинного цикла. См. Въеториса гомологии. А. А. Мальцев.. ..

Источник

векторного поля - точка векторного поля а,обладающая тем свойством, что поток Qполя через любую окружающую ее замкнутую поверхность дV (и не окружающую др. Источников) положителен. Поток где п- вектор внешней нормали к дV, s- элемент площади дV, называется мощностью И. Если поток Qотрицателен, то говорят о стоке. Если И. Распределены непрерывно по рассматриваемой области V, то предел наз. Плотно, с тью (интенсивностью) И. В точке Ми равен дивергенции векторного поля a в точке М. А. Б..

Дополнительный поиск Истинностное Значение Истинностное Значение

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

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

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