liàng​huà​luó​ji

quantificational logic