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