Translating Logic Statements
The next few posts will examine aspects of logic, both symbolic logic, and how we talk about theorems in general. We’ll start here with issues in interpreting the wording of logic, and some of the semantic difficulties we face. English isn’t logical. (Well, I suppose humans in general aren’t logical.)