Если  � d — дробное число, то  ∣ � ∣ ∣d∣ — натуральное число

Да, если число d является дробным, то его абсолютное значение |d| всегда будет натуральным числом. Абсолютное значение числа — это его числовое значение без учёта знака. Например, если d = -3.5, то |d| = 3.5, что является натуральным числом. Поэтому предложенное утверждение верное.