Выразить утверждения естественного языка средствами формальной системы. Исчисление предикатов 1 порядка

В условии задано: предикат C(x, y) означает «число x – больше числа y».
Это означает, что предикат C(x, y), задающий отношение между двумя числами, имеет интерпретацию. Тогда каждой формуле может быть приписано значение «истина» или «ложь».
В предикате C5, 1 переменные x, y заменены на конкретные величины (константы) : «число 5 – больше числа 1».
Аналогично, второе утверждение C8, 10 получает интерпретацию : «число 8 – больше числа 10» . В первом случае выражение примет значение Истина, а во втором случае – Ложь.
Рассмотрим формулу ∀x Cx, 2.
Cx, 2 означает «число x – больше числа 2». Переменная x связана квантором общности, поэтому формула не содержит свободных переменных. Её смысл: «Любое число x – больше числа 2»