tā / zài / lùn wén / zhōng / yùn yòng / liàng huà luó ji / fēn xī / mìng tí

他在论文中运用量化逻辑分析命题。

He applied quantificational logic to analyze propositions in his paper.