-
@kenandoesmath So I teach symbolic/boolean logic in Intro to Proofs this semester, but I abandoned having students do full truth tables and don't regret it. I find students especially need some foundation in negation of complex statements, and I don't want to overload that with words at first.