Author Archives: Isabel Markey

Exercise 3.18 Question

I am struggling to find a sentence that is equivalent to (a = d) without using the identity symbol. I know I need to find a sentence that can not be true of two different blocks, but I am not sure I understand how else to indicate that one block has two names. Is there another way I should be thinking about this sentence?