I have a very simple question. Is the following proposition true or false from a logic point of view ? $$\forall x \in \emptyset, 2 + 2 = 5$$
I think that the previous proposition can be written as $$\forall x, x \in \emptyset \Rightarrow 2 + 2 = 5$$ which is always true, but I'm not sure...
I did not follow pure logic courses and I actually have a more complex problem which is in the same spirit as this one, so your answers to this question (and explainations) will help me a lot !
Thank you for your help.