definition |
proširenje izjavne logike uvođenjem egzistencijalnoga kvantifikatora i univerzalnoga kvantifikatora i varijabla na kojima oni djeluju |
synonyms |
admitted term: predikatna logika, priročna logika |
equivalents |
english: first-order logic, first-order predicate logic, predicate logic |
classification |
polje: matematika |
source |