Question

First order logic (fol) does not allow quantification over predicate symbols or function symbols; therefore, fol is called _____________.?

Answer 1

First order logic (fol) does not allow quantification over predicate symbols or function symbols; therefore, fol is called predicate logic