I recently came across this question which was closed as being a duplicate of that question.
But if we read carefully, we see that there is a slight difference.
In "this question", it's supposed that:
$\forall n \in \mathbb N \ , \ x_n<y_n$
In "that question", it's supposed that:
$\forall n \in \...
I understand Implication, as follows:
p = rain stopped.
q = i go out.
p->q = if "rain stopped" then "i go out".
p q p->q
-----------------------------------------------------------------------------------------
F F ...
Or would we create a new post on meta discussing whether logical-operators (or logical-connectives) would be a suitable tag? (Such tag was suggested in Asaf's comment.)
I don't think this is a particularly useful tag. Searching for XOR will lead you to the questions about XOR. So it has no particular value in helping search and classify questions about XOR. It also sets a precedent for tags for other logical operators (which in that case, should just be the one tag logical-operators or some variant thereof). — Asaf Karagila ♦Sep 27 '20 at 12:33
I understand Implication, as follows:
p = rain stopped.
q = i go out.
p->q = if "rain stopped" then "i go out".
p q p->q
-----------------------------------------------------------------------------------------
F F ...
