ORI 1

Simbolike logike (34 poena)1. (2 poena) Objasnite vezu izmeu propozicione i predikatske logike.Propoziciona logika predstavlja najjednostavniju simboliku logiku, a predikatska logika, ili logika prvog reda predstavlja proirenje propozicione logike. Obe logike predstavljaju simbolike logike. Formule logike prvog reda koje ne sadre varijable i kvantifikatore mogu se tretirati kao formule propozicione logike.2. (4 poena) Neka su date sledee oznake:(1) P(X) = X je prost broj(2) Q(X) = X je racionalan broj(3) R(X) = X je realan brojGREATER(X,Y) X je vee od YIskaite reenicama srpskog jezika sledee formule:(1) (X)(Q(X)->R(X)) Svaki racinalan broj je i realan broj(2) (AX)P(X) Postoji prost broj(3) (X)(AX) LESS(X,Y) Za svako X postoji X, takvo da je X= 0 mora da vai za sve vorove osim ciljnog, h(n) = 0 je za ciljni vor, a h(n) = inf. vai za orsokak.8. (3 poena) Objasnite ta je dominantna heuristika i emu ona slui. h*(n) stvarna cena putanje sa minimalnom cenom od vora n do cilja.Ako je h1(n)