struna search engine

image shadow

logika prvoga reda

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
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi