Что значит утверждение ложно, для любого значения х?

В математике мы имеем дело с различными утверждениями, например,

A ≡ {число 100 делится на 4};

B ≡ {через две точки можно провести две прямые};

C ≡ {число 0,00000001 очень мало}.

Относительно одних утверждений можно сказать, что в них говорится нечто правильное, относительно других – утверждается нечто неверное. Например, утверждение A – верное, утверждение B – неверное. Относительно утверждения C нельзя сказать, является оно верным или нет, так как оно не имеет точного смысла.