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

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call