量化逻辑量化邏輯

liàng huà luó ji

Meaning

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

Learn in the app → Write in stroke order

Characters

量liàngmeasure, volume; amount, quantity旦里化huàto change, to convert, to reform; -ize亻匕逻luóto patrol, to inspect; patrol, watch; logic辶罗辑jíto gather, to collect; to edit, to compile车咠