For me basic formal logics means learning the symbols (conjunction, disjunction, implication, equivalency, not, etc.) and the rules of inference to maniuplate these symbols and using these rules to prove new things.

How can you teach analysis without that anyway. It is absolutely essential for set theory and how would you e.g. define the reals (in a "proper" math course, not engineering) without a good understanding of set theory?

If you don't believe me, here is a link to the contents of a first semester engineering math course from some german technical university: https://page.math.tu-berlin.de/~joswig/teaching/notes/Joswig...

The symbols should be enough to tell you what the contents are.

Not really. First year courses usually have hundreds of students in large halls. There is some more effort as you need more tutors, but that is basically it. (Students usually do not live on campus)

The enormous upside is that all students are judged equally on their ability to academically succeed in their chosen field. I think US university admissions are ridicolous for many reasons.