Q726
The adjective "first-order" distinguishes first-order logic from ___________ in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.
A.
Representational Verification
B.
Representational Adequacy
C.
Higher Order Logic
AnswerD.
Inferential Efficiency
Answer: Option C
Solution
Answer: Option C
No explanation is given for this question Let's Discuss on Board