Для университетской математики обычно достаточно двух кванторов (

и

) и пяти логических операторов (

,

,

,

,

) с поправкой на некоторые технические детали, которые здесь не особенно важны. При этом привязка задач к реальному миру вовсе не делает их автоматически проще. Например, любимое упражнение по оптимизации, построение курятника, требует внимательной постановки модели, несмотря на то что оно связано с бытовой ситуацией.
Плюс в формальной математике студентов явно учат работать с определениями, утверждениями, переменными, отношениями и операциями. Их прямо приучают к корректному использованию формулировок вроде "рассмотрим", "пусть", "предположим", "зафиксируем", "произвольный". Эта явность и структурированность рассуждений скорее должна успокаивать, чем пугать, поскольку правила игры и допущения всегда проговариваются явно.
ТС в той теме не понимает что

. Ей несколько раз писали: "Возьмите калькулятор, подставьте значения и убедитесь", но, похоже, сам смысл такого шага для неё не вполне очевиден. В формальных курсах математики обычно отдельно объясняют разницу между доказательством и контрпримером. Если бы с этим уже приходилось сталкиваться, возможно, идея проверить равенство на конкретных

возникла бы сама собой. Это хорошо иллюстрирует различие подходов: формальная математика учит работать с утверждениями и правилами осознанно, тогда как школьная математика часто сводится к распознаванию шаблонов и их автоматическому применению, иногда даже без явного понимания самих правил.