liàng huà luó ji / shì / shù lǐ luó ji / de / zhòng yào / fēn zhī量化逻辑是数理逻辑的重要分支。Quantificational logic is an important branch of mathematical logic.