
I am not in favour of the new tag because it is (as Martin said) too specific. It should be renamed to something like elementary-logic (see here), and include (in its description) not only logic-translation (whether to express English or mathematical statements) but also other basic stuff like pr...