Пример. Напишем программу, определяющую истинность высказывания «Существует треугольник с длинами сторон a, b, c» для произвольных натуральных чисел a, b, c.

По неравенству треугольника сумма любых двух сторон должна быть больше третьей. Проверим все три неравенства:

\(a+b>c\), \(a+c>b\), \(b+c>a\).

Для натуральных чисел достаточно также проверить, что все введённые стороны положительны.

program triangle_exists;
var a, b, c: integer; ans: boolean;
begin
  writeln('Определение истинности высказывания о существовании треугольника');
  write('Введите длины сторон a, b, c: ');
  readln(a, b, c);
  ans := (a > 0) and (b > 0) and (c > 0) and
         (a + b > c) and (a + c > b) and (b + c > a);
  writeln('Треугольник с такими сторонами существует — ', ans)
end.