Exercise 8.19

Explain what is wrong with the following proposed definition of the set membership predicate $$

View Answer