My undergrad math department had a class on mathematical logic (set theory, Peano arithmetic) that was required to take higher level math classes. Wrote down some basic statements (conjunction, modus ponens, etc) and said if this didn’t seem fairly obvious you should reconsider your math major.