... or false -- it's just a name! Similarly, "go to ... or false either -- it's just a predicate! That ... is to say, it's a *category mistake* to ... learning symbolic logic. It's just unfortunate that no ... I recommend Barwise & Etchemendy's Language, Proof & Logic, ...