propositional operator Synonyms