Объем (логика) - Scope (logic)
 | Эта статья нужны дополнительные цитаты для проверка. (Январь 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В логика, то объем из квантификатор или количественная оценка - это диапазон в формула где квантификатор «задействован». Он ставится сразу после количественного показателя, часто в скобках. Некоторые авторы описывают это как включение переменной, помещаемой сразу после символа forall или exists. В формуле ∀xP, Например, п (или же xP[1]) - это область действия квантора ∀Икс (или же ∀).
Переменная в формуле: свободный, тогда и только тогда, когда он не встречается в области действия какого-либо квантификатора для этой переменной. А срок свободна для переменной в формуле (т. е. свободна для замены той переменной, которая встречается бесплатно), тогда и только тогда, когда эта переменная не входит в свободную область любого квантификатора для любой переменной в термине.
Смотрите также
Примечания
- ^ Белл, Джон Л.; Мачовер, Моше (15 апреля 2007 г.). «Глава 1. Начало математической логики». Курс математической логики. Elsevier Science Ltd. стр.17. ISBN 978-0-7204-2844-5.