Rozsah (logika) - Scope (logic)
 | tento článek potřebuje další citace pro ověření. (Ledna 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
v logika, rozsah a kvantifikátor nebo kvantifikace je rozsah v vzorec kde kvantifikátor „zabírá“. Dává se hned za kvantifikátor, často v závorkách. Někteří autoři to popisují jako zahrnující proměnnou umístěnou hned za symbolem všech nebo existujících. Ve vzorci ∀xP, například, P (nebo xP[1]) je rozsah kvantifikátoru ∀X (nebo ∀).
Proměnná ve vzorci je volný, uvolnit, právě když se neobjeví v rozsahu žádného kvantifikátoru pro tuto proměnnou. A období je zdarma pro proměnnou ve vzorci (tj. může nahradit tu proměnnou, která se vyskytuje zdarma), právě když se tato proměnná nevyskytuje zdarma v rozsahu libovolného kvantifikátoru pro jakoukoli proměnnou v daném termínu.
Viz také
Poznámky
- ^ Bell, John L.; Machover, Moshé (15. dubna 2007). „Kapitola 1. Počátek matematické logiky“. Kurz matematické logiky. Elsevier Science Ltd. s.17. ISBN 978-0-7204-2844-5.