Обратное утверждение или обратная теорема - это такая формулировка исходной (прямой) теоремы, где условие и заключение переставлены местами.
Прямое утверждение: Каждое число, которое можно представить в виде отношения двух целых чисел, является рациональным.
Обратное утверждение: Число, которое является рациональным, можно представить в виде отношения двух целых чисел.
Да, утверждение является истинным, поскольку все рациональные числа - это как целые числа, так и дроби (которые и являются отношением двух целых чисел).