I need help solving the following question, Suppose U=Z. Simplify the quantifer, and say that if it is true or false with the help of and example,
~$\exists$x $(x| x|5 \Rightarrow x|15)$
Now for all values it evaluates to false for me but I am not getting sure of my answer. Also I would like to mention that I just used x=0,x=1 to find out if the statement is true and false. Can there be any case that it evaluates to true?
Thanks for the answers.
I tried solving it again and I have done it till, ~Ex(x|x|5->x|15)
As we know that ~(p->q)= ~pVq
Disproving by counter example,
I am out of ideas for the counter example, can anyone please give me a hint?