Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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 do I correctly represent the following pseudocode in math notation?

EDIT1: Formula expanded. EDIT2: Clarification.

(a,b) represents a line segment on a 1D line. a <= b for each segment. The division show below is done as per the following T-SQL code (which I suppose could be represented as a function in the formula?):

Input: @a1 real, @b1 real, @an real, @bn real

DECLARE @Result real

if @a1 <= @an begin
    SET @Result = @an - @b1

    if @Result <= 0 RETURN 0

    RETURN @Result / @an

SET @Result = @a1 - @bn

if @Result <= 0 RETURN 0

RETURN @Result / @a1


if m = 1 then
  if (a,b)_1 intersects (a,b)_n then
    r = 1
  else if (a,b)_1 < (a,b)_n then
    r = (a,b)_1 / (a,b)_n
    r = (a,b)_n / (a,b)_1
else if m = 2 then
  if (a,b)_1 intersects (a,b)_n then
    r = 1
  else if (a,b)_1 < (a,b)_n then
    r = (a,b)_1 / (a,b)_n
    r = (a,b)_n / (a,b)_1

The m = 2 block is shown as being the same as the m = 1 one for simplicity's sake.

The divisions are against the two points that are closets to each other, unless the segments intersect, at which point r = 1.

share|cite|improve this question
If the cases for m = 1 and m = 2 are the same, why are you maintaining them as separate cases? – J. M. Dec 27 '10 at 11:20
They aren't the same... I'm just keeping the equation here simple. I'm only interested in the formatting. – IamIC Dec 27 '10 at 11:21
(a,b)_1 and (a,b)_n are scalars? – J. M. Dec 27 '10 at 11:28
(a,b)_1-n is an array of line segments on a 1D line where a <= b for a given line segment. – IamIC Dec 27 '10 at 11:29
There is no one "math notation" that is useful for every purpose. We use certain notation only when it makes communication easier. Most mathematics is conveyed in natural language (English, French, Chinese, etc.) rather than symbolically. There is not any special "mathematics" notation for pseudocode. When we want pseudocode we write it just like computer scientists. Given that, I don't think you question is precise enough for a ore specific answer. – Carl Mummert Dec 27 '10 at 12:51
up vote 12 down vote accepted

In general, if you have "If $\varphi$ then $\psi$, otherwise $\tau$" you can write this as the following formula (or sentence, depending on $\varphi,\psi,\tau$):


If you have several cases, you can either nest them (i.e. $\tau$ would be "if second condition then, else ...") or if you can express them as $\varphi_1$ meaning only the first case holds, and none of the others as $(\varphi_1\rightarrow\psi_1)\wedge(\varphi_2\rightarrow\psi_2)\wedge\ldots$


$(a=b\rightarrow x=1)\wedge(a<b\rightarrow x=\frac{a}{b})\wedge(a>b\rightarrow x=\frac{b}{a})$

I have added $x$ as a variable, because writing just $\rightarrow 1$ seems very meaningless to me, you can of course replace $x$ by anything you'd like. The idea, essentially is that you express "IF ... THEN ... ELSE" structures using the $\rightarrow$ (or $\implies$ sometimes) and I gave you in my original post the method of doing so.

share|cite|improve this answer
@Asaf Thanks. Ok, we're getting there. The first example is slightly confusing because of the and nots and double if. Could you write it out for me r = if a = b then 1 else if a < b then a/b else b/a. – IamIC Dec 27 '10 at 13:15
I think I figured it out. It's "a=b"->(true)->(false)" - right? – IamIC Dec 27 '10 at 13:28
@IanC: There is no straightforward way to do that in first-order logic because it doesn't have either of the following concepts: (1) assigning a value to a variable with an operator like =, and (2) a formula that returns an object, rather than True or False, as output. Those things are two of the main differences between pseudocode in imperative languages and formulas in first-order logic. It would be possible to use lambda calculus, which is more like pseudocode; but you could use any other actual programming language to get away from pseudocode, too; lambda calculus is not unique for that. – Carl Mummert Dec 27 '10 at 13:34
@Carl: I usually think about it as informal predicate calculus, I allow myself to write vague/undefined things in order to keep the idea clear mathematically. I usually do note when I'm "cheating" and explain why I am cheating. – Asaf Karagila Dec 27 '10 at 13:35
@Asaf Karigila: that's fine, as long as everyone realizes that a "formula" such as "$((a = b) \to 4) \land ((a \not = b) \to 7)$" is not actually a formula, because it has terms (4 and 7) where it ought to have subformulas. One thing that we do not have in first-order logic is a way for a formula to have a term as its value, rather than a truth value. Of course you can use your own personal shorthand whenever you like. – Carl Mummert Dec 27 '10 at 13:40

You could potentially convert it to a mathematical formula too.

For example say we had the following:

if (a < b) then c = 100 
else if (a > b) then c = 200
else c = 300.

This can be rewritten as

$$c = 300 \ (1 - \text{sgn}^2(a-b)) + \text{sgn}^2(a-b)(50 \ \text{sgn}(a-b) + 150)$$

Where $\text{sgn}(x)$ is the sign of $x$, as defined here;

(It is defined as: 1 for positive, 0 for 0, and -1 for negative)

share|cite|improve this answer

Or just $\begin{cases} a & b \\ c & d \end{cases}$

share|cite|improve this answer
For some reason, neither Chrome nor Firefox will render that. Is there an error in the code? – IamIC Dec 28 '10 at 0:51
@Ianc: I think it did not render because it was in backquotes... I have corrected that. – Aryabhata Dec 28 '10 at 1:35
@Moron thanks. @user3141592 I don't get how this would represent "if (a < b) then c = 100..." – IamIC Dec 28 '10 at 17:15

How to implement If-then-else structures in propositional logic:

Example 1

If P then
end if

(P -> Q) & (~P -> R)

Example 2

If P then
else if R then
end if

(P -> Q) & (~P & R -> S) & (~P & ~R -> T)

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.