Predicate Calculus: Resolution
The development of the predicate calculus up to this point has been simplified in that unstructured terms—variables and constants—have been used in formulas, and interpretations are over unstructured domains. The real power of the predicate calculus comes from its ability to express logical relationships in structured domains such as numerical domains (integers and real numbers) or data structures (lists and trees).
KeywordsLution Reso Prefix
Unable to display preview. Download preview PDF.