Logika prvog reda – razlika između verzija
Uklonjeni sadržaj Dodani sadržaj
Red 55:
<math>\forall x \operatorname{covek}(x) \and \operatorname{covek}(x)</math> Све на овом свету је човек и сисар
* Егзистенцијални квантификатор се користи везивно:
<math>\exists x \operatorname{
===Угнеждени квантификатори===
* Поредак квантификатора истог типа у исказу је неважан
|