量化逻辑

liàng huà luó ji

quantificational logic (i.e. first-order logic)

量

liàng

capacity

化

huà

to make into

逻

luó

patrol

辑

ji

to gather up