liàng huà luó ji
quantificational logic (i.e. first-order logic)
Ilovada oʻrganish → Chiziq tartibida yozish