logic notation - English Synonyms Dictionary