It was not strictly a logic class, but more of an overview course of discrete math, logic and proofs, and some statistics. They taught -> I think. I've never h

It was not strictly a logic class, but more of an overview course of discrete math, logic and proofs, and some statistics. They taught -> I think. I've never heard of "sequent calculus" before, and I don't expect anyone I know to have heard it. Apparently it's not calculus. > They used to say "the US has the best high schools in the world; unfortunately, they're called universities". But the universities have become so watered down that many Americans get university degrees without ever passing through an institution at the level of a good gymnasium. I don't think universities are watered down because they don't teach notation that most people don't know and find obscure. My university is famous for a difficult admissions process, tough courses that most people only learn 2/3 of the material, and grading curves calibrated so getting 60% on exams is enough for a B or A. ---- https://en.wikipedia.org/wiki/Sequent_calculus https://en.wikipedia.org/wiki/Sequent_calculus Wikipedia says "Sequent calculus is one of several extant styles of proof calculus for expressing line-by-line logical arguments." I didn't learn "every statement is conditional" logic involving turnstiles, I learned something where the assumptions were given in the problem, and each line was proven based on the previous lines, which boiled down to the initial givens.