展开 命题和逻辑用语