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{poesdujeposeduje}(Jovan,x) \Rightarrow \operatorname{pas}(x)</math> На овом свету има нешто што Јован не поседује или постоји на овом свету пас
 
===Угнеждени квантификатори===
* Поредак квантификатора истог типа у исказу је неважан