Wow.. I didnt think it would be such a difficult question.
hello,
I have a question about set replacement.
When we have a set like :
A = { x : is in Z | x < 7 · x - 2 }
Arent we supposed to look for the integers that if we subtract 2 from them the result will be less than 7. Like, 5 for instance, 5-2 = 3 and 3 is less than 7 then 3 is a member of the set.. not sure if I'm going in the right direction here. Just wanna what should we do first, test the predicate (x<7) then apply the number to the (x-2) and see again if its less than 7 or what exactly. ?? I dont see how the bold big dote is suppsoed to operate here ??
Hope some will help. Thanks in advance.