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

How can you formularize "if"-conditions in a language-agnostic way?

I'm talking about formulas like

$$ x=\begin{cases} 2,&\text{ if } n \le 2 \lor m=3\\ 3,&\text{ if } n \gt 2 \land m=n \end{cases} $$ Of course, everybody in the world will understand the "if", but is there a way to write it completely without using any "real world" language whatsoever?

share|cite|improve this question
There's no need to use such a word, at least not in your example, AFAICT. – Gigili May 7 '12 at 8:59
It is a common mistake to think that mathematics is written in pure symbols. There is a lot of text around and it just makes things clearer. – Asaf Karagila May 7 '12 at 9:01
If you're going to use "if", you may as well use "and" and "or", and I assure you it looks much better that way. – Zhen Lin May 7 '12 at 9:01
To add on to Asaf's point, symbols are used because sometimes they make things clearer to express, not because they are inherently better than words. For example, it's easier to understand "$y = ax + b$" than to understand "$y$ is the sum of $b$ and the product of $a$ and $x$", but it is easier to understand "$A$ is a nonsingular $3\times3$ matrix" than to understand "$A \in M_{3\times3} \wedge \det A \ne 0$". – Rahul May 7 '12 at 9:13
Asaf has told you about how words are a lot of times preferred in mathematical writing (and personally I'm not at all fond of $\land$ and $\lor$); that being said, look into Iverson brackets. – J. M. May 7 '12 at 9:15
up vote 4 down vote accepted

If you absolutely insist, you can use Iverson brackets:

$$x=\begin{cases} 2,&\text{ if } n \le 2 \lor m=3\\ 3,&\text{ if } n \gt 2 \land m=n \end{cases}$$

is equivalent to


But the first version is easier to read, and while I don't at all mind $\lor$ and $\land$, $\text{or}$ and $\text{and}$ are preferable for most audiences.

share|cite|improve this answer

I was tought that if ... then is written in such form:

$$ x>0 \Rightarrow y=2x $$

which means if $x$ is greater than 0 then assign $2x$ to $y$.

share|cite|improve this answer

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.