Установите истинность данного высказывания:Если число делится на 5 или оканчивается на 0, то оно делится на 15

type koords = record
                       x,y:real;
                     end;
var ab,dc,dh,ad,h:real;
      a,b,c,d:koords;  
begin
  writeln ('A:');
  write ('X = ');
  readln (a.x);
  write ('Y = ');
  readln (a.y);
  writeln ('B:');
  write ('X = ');
  readln (b.x);
  write ('Y = ');
  readln (b.y);
  writeln ('C:');
  write ('X = ');
  readln (c.x);
  write ('Y = ');
  readln (c.y);
  writeln ('D:');
  write ('X = ');
  readln (d.x);
  write ('Y = ');
  readln (d.y);
  ab:=sqrt(sqr(b.x-a.x)+sqr(b.y-a.y));
  dc:=sqrt(sqr(c.x-d.x)+sqr(c.y-d.y));
  dh:=abs((dc-ab))/2;
  ad:=sqrt(sqr(a.x-d.x)+sqr(a.y-d.y));
  h:=sqrt(sqr(ad)-sqr(dh));
  writeln ('H = ',h:0:4);
  readln;
end.

Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают:

Исчисление кортежей

Исчисление доменов