In predicate calculus,arguments to predicates and functions can only be terms - that is,combinations of ____.
A) predicates and connectives
B) constants and predicates
C) variables, constants, and functions
D) predicates, quantifiers, and connectives

Question

Quizplus · Accepted Answer

Terms are the basic building blocks in predicate calculus. Variables, constants, and functions can all be combined to form terms. Predicates, quantifiers, and connectives are used to form propositions and do not constitute terms. Therefore, option C is the correct choice.

In Predicate Calculus,arguments to Predicates and Functions Can Only Be