> And his way of teaching boolean logic is to memorize truth tables, wtf? That seems like an odd thing to single out. I took an "Intro to Logic" course years b

> And his way of teaching boolean logic is to memorize truth tables, wtf? That seems like an odd thing to single out. I took an "Intro to Logic" course years before I did any CS courses and truth tables were very much used. I believe that they helped ease students not accustomed to thinking precisely about logical propositions into that mode of thought. Why rely on students' intuitions about ambiguous natural language constructs when we can be explicit and also provide an early lesson on the precision required by machine languages?