well-defined logic Antonyms