-
Does anyone teach universal/existential quantifiers before conjunctions/disjunctions/implications? After a rough start last spring explaining why "If 1+1=3 then 3-7=42" is a true statement in my intro to proofs course, maybe variables should come first...