[cubefox]

> The beginning of the book I linked to has a section on converting English phrases into formal logical symbols.

Where? I don't see it.

[keiferski]

Chapter 2 is when they start introducing logical symbols