Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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)$

Note that |= modulo.

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?


share|cite|improve this question
@KaratugOzanBircan: Yes it does mean that but why should I take x=5? – Fahad Uddin Nov 5 '11 at 11:59
Because 5|5 and 5|15 and thus 5 is a counterexample. – HbCwiRoJDp Nov 5 '11 at 12:06

I think you mean $\exists$ by E.

So, "~$\exists x : x | 5 \Rightarrow x|15$" means "There is no x such that if x divides 5, then it divides 15." Take x=5 and this is a counterexample. Hence the statement is false.

share|cite|improve this answer
you may use $\nexists$ notation – pedja Nov 5 '11 at 12:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.