intuitionistic logic Antonyms