.............. predicate calculus allows quantified variables to refer to objects in the domain of discourse and not to predicates or functions.
A. Zero-order
B. First-order
C. Second-order
D. High-order
Answer:B
.............. predicate calculus allows quantified variables to refer to objects in the domain of discourse and not to predicates or functions.
A. Zero-order B. First-order C. Second-order D. High-order