Explain what is wrong with the following proposed definition of the set membership predicate $$
\({\forall\,x,s\;\;} x \in \{x|s\}\) \({\forall\,x,s\;\;} x \in s \implies {\forall\,y\;\;} x \in \{y|s\}\)
Answer
Improve This Solution
View Answer