Нужна помощь в написании работы?
Вхождение переменной в формулу называется связанным, если оно находится в области действия квантора, использующего эту переменную, или же оно является вхождением в этот квантор. Вхождение переменной в формулу называется свободным, если оно не является связанным. Например в
оба вхождения x связанные, а единственное вхождение y свободно.
В формуле:
каждое вхождение каждой из переменных связанное. Переменная свободна в формуле, если по меньшей мере одно ее вхождение свободно; переменная связана в формуле, если по меньшей мере одно ее вхождение связано.
Покори английский в игровой форме! Основные преимущества:
- Занимайся с любого девайса
- Тренируйся с азартом
- Выбирай интересные материалы
- Проходи увлекательные языковые курсы
- Учись со львом играючи