proposition的反义词