展开 逻辑蕴涵思想为真