A) Procedure P1(x, z: Real): Integer; - не верно, у самой процедуры не может быть указан тип (верно так: Procedure P1(x, z: Real))
b) Function F1 (a, b, c: Real):char; - верно
c) Function F2 ( m: integer); не верно - не указан тип функции
d) Procedure P2 (var n: integer; m: integer); верно