liàng huà luó ji量化逻辑quantificational logic (i.e. first-order logic)Frequency 1.7Meaningsquantificational logic (i.e. first-order logic)