> 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.