Свободные и связные переменные.
Вхождение переменной в формулу называется связанным, если оно находится в области действия квантора, использующего эту переменную, или же оно является вхождением в этот квантор.
Вхождение переменной в формулу называется свободным, если оно не является связанным. Например в
оба вхождения x связанные, а единственное вхождение y свободно.
В формуле:
каждое вхождение каждой из переменных связанное. Переменная свободна в формуле, если по меньшей мере одно ее вхождение свободно; переменная связана в формуле, если по меньшей мере одно ее вхождение связано.
Источник:
Лекции по математической логике. 2017
Еще по теме Свободные и связные переменные.:
- 67. Модели регрессии с переменной структурой. Фиктивные переменные
- Порядок ликвидации свободной таможенной зоны и свободного склада (ст. 76, 86).
- Операции, производимые с товарами в свободных таможенных зонах и на свободных складах (ст. 79)
- 2.3 Сильно связные графы и компоненты графа
- 7. Свободное использование произведений, расположенных в местах, открытых для свободного посещения
- 18.Функции нескольких переменных. Примеры. Частные производные (определение). Экстремум функции нескольких переменных и его необходимые условия.
- 7. Сильно связные графы и компоненты графа
- § 7. Связная устойчивость
- №29. Понятие функции комплексного переменного. Дифференцирование функции комплексного переменного. Условие Коши-Римана.
- Развитие связной речи.
- 69. Спецификация переменных
- Функции нескольких переменных
- 77. Сезонные фиктивные переменные
- 86. Цензурированные результативные переменные
- Замена переменных в двойном интеграле.
- Замена переменных.
- § 4. Переменные
- § 3. Дифференциальные уравнения 1-го порядка с разделяющимися переменными.
-
Аналитическая геометрия -
Вариационное исчисление -
Векторный и тензорный анализ -
Высшая геометрия -
Высшая математика -
Вычислительная математика -
Дискретная математика -
Дифференциальное и интегральное исчисление -
Дифференциальные уравнения -
Исследование операций -
История математики -
Комплексное исчисление -
Линейная алгебра -
Линейное программирование -
Математическая логика -
Математическая физика -
Математический анализ -
Пределы -
Ряды -
Статистика -
Теория вероятностей -
Теория графов -
Теория игр -
Теория принятия решений -
Теория случайных процессов -
Теория чисел -
Финансовая математика -
Функциональный анализ -
-
Антропология -
Астрономия -
Безопасность жизнедеятельности -
Библиотечное дело -
Биология -
Военное дело -
География -
Зоология -
История -
Культурология -
Литература -
Математика -
Медицина -
Педагогика -
Политология -
Право России -
Право України -
Психология -
Религоведение -
СМИ и журналистика -
Социология -
Технические науки -
Транспорт -
Физика -
Философия -
Финансы -
Экология -
Экономика -
Этнография и демография -
Юриспруденция -
Языкознание -