definicija |
proširenje izjavne logike uvođenjem egzistencijalnoga kvantifikatora i univerzalnoga kvantifikatora i varijabla na kojima oni djeluju |
istoznačnice |
dopušteni naziv: predikatna logika, priročna logika |
istovrijednice |
engleski: first-order logic, first-order predicate logic, predicate logic |
razredba |
polje: matematika |
vrela |
