Conventions: Update table of abbreviations
Conventions: Update table of abbreviations

- enhancement of  comment for ~ conventions (table of abbreviations)
- update section comment for "Logical implication"

metamath/set.mm,metamath/set.mm,metamath/set.mm