IF语句是由一个布尔表达式和两个供选择的操作序列组成。运行时根据布尔表达式求值结果，选取其中之一的操作序列执行。有两种形式的IF语句：
If <布尔表达式> then <语句>;
If <布尔表达式> then <语句1>
else <语句2>;
当布尔表达式的值为真，执行then后面的语句；当值为假时则有两种情况：要么什么也不做，要么执行else后面的语句。
注意：
else前面没有分号，因为分号是两个语句之间的分隔符，而else并非语句。如果在该处添了分号，则远程服务器在编译的时候就会认为if 语句到此结束，而把else当作另一句的开头，这样就会输出出错信息。
语句可以是一条语句或是一组语句，如果是一组语句时，这组语句必须使用Begin … End标识符来限定，写成复合语句。在用if语句连续嵌套时，如果你插入适量的复合语句，有利于程序的阅读和理解。
例2：求y=f(x),当x>0时，y=1，当x=0时，y=0，当x<0时，y=-1。
Function IfExample();
Begin
  if x>0 then y:=1
  else
  if x=0 then y:=0
  else
  if x<0 then y:=-1;
  return y;
End;

例3：当x>0时候，计算x*x，并且输出x*x，否则输出0。
FunctionIfExample2(x);
begin
  if x>=0 then
  begin
    x1:=x*x;
    return x1;
  end
  else
  return 0;
end;
注意：当if 语句嵌套时，TSL约定else总是和最近的一个if配对。