Abstract
The axioms and theorems of mathematics are defined on arbitrary sets such as the set of integers Z. We need to be able to write and manipulate logical formulas that contain relations on values from arbitrary sets. The predicate calculus extends the propositional calculus with predicate letters that are interpreted as relations on a domain. (You may wish to review Appendix A on set theory at this time.)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have