中文拼音： liang4 hua4 luo2 ji5

中文繁体： 量化邏輯

英文翻译： quantified logic