展开 命题逻辑词项逻辑谓词逻