В математике мы имеем дело с различными утверждениями, например,
A ≡ {число 100 делится на 4};
B ≡ {через две точки можно провести две прямые};
C ≡ {число 0,00000001 очень мало}.
Относительно одних утверждений можно сказать, что в них говорится нечто правильное, относительно других – утверждается нечто неверное. Например, утверждение A – верное, утверждение B – неверное. Относительно утверждения C нельзя сказать, является оно верным или нет, так как оно не имеет точного смысла.
В математике мы имеем дело с различными утверждениями, например,
A ≡ {число 100 делится на 4};
B ≡ {через две точки можно провести две прямые};
C ≡ {число 0,00000001 очень мало}.
Относительно одних утверждений можно сказать, что в них говорится нечто правильное, относительно других – утверждается нечто неверное. Например, утверждение A – верное, утверждение B – неверное. Относительно утверждения C нельзя сказать, является оно верным или нет, так как оно не имеет точного смысла.