Logika prvog reda – razlika između verzija
Uklonjeni sadržaj Dodani sadržaj
Red 68:
* Подручје или зона важења променљиве је исказ на који је квантификатор применљив.
* Променљива у логичком изразу се везује за најближи квантифиватор унутар исказа у коме се појављује
<math>\exists x (\operatorname{pas}(x) \and \forall x(\operatorname{zut}(x)))</math> Пси постоје и сви су жути. x у
* У добро написаној формули све променљиве морају бити квантификоване:
<math>\exists x P(y)</math> Ова формула није добро написана
| |||