Пример. Напишем программу, определяющую истинность высказывания «Число n является чётным» для произвольного целого числа n.

Число чётное, если остаток от деления на 2 равен нулю. В Паскале для этого используется операция mod.

program even_number;
var n: integer; ans: boolean;
begin
  writeln('Определение истинности высказывания о чётности числа');
  write('Введите исходное число: ');
  readln(n);
  ans := n mod 2 = 0;
  writeln('Число ', n, ' является чётным — ', ans)
end.