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).
KeywordsFunction Symbol Predicate Calculus Predicate Symbol Constant Symbol Term Equation
Unable to display preview. Download preview PDF.