Predicate Calculus: Resolution

  • Mordechai Ben-Ari


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).


Function Symbol Predicate Calculus Predicate Symbol Constant Symbol Term Equation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 2001

Authors and Affiliations

  • Mordechai Ben-Ari
    • 1
  1. 1.Department of Science TeachingWeizmann Institute of ScienceRehovotIsrael

Personalised recommendations