ABSTRACT
In this chapter we are going to explore another formal system, called predicate calculus. This formalism allows us to reason about statements which are rather more complex than propositions, but are similar in nature. It will be built upon prepositional calculus by adding more expressive power to the language and additional rules to the deductive apparatus. This formal system will then be enriched to provide the notion of equality.
