Relations and Identity

This chapter brings quantificational logic up to full power by adding identity statements (like “a=b”) and relational statements (like “Lrj” for “Romeo loves Juliet”). We’ll end with definite descriptions.