logika prvoga reda

polje: matematika

grana: matematička logika i računarstvo

projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi

proširenje izjavne logike uvođenjem egzistencijalnoga kvantifikatora i univerzalnoga kvantifikatora i varijabla na kojima oni djeluju

proširenje izjavne logike uvođenjem egzistencijalnoga kvantifikatora i univerzalnoga kvantifikatora i varijabla na kojima oni djeluju

Engleski:
predicate logic first-order predicate logic first-order logic

Rod: nema

Vrsta riječi: višerječni naziv

Dopušteni nazivi:
priročna logika predikatna logika