量化逻辑
word- quantificational logic (i.e. first-order logic)
Its characters
Learn 量化逻辑 in real texts
With a free account, hover any word in the library for its meaning, hear it read aloud, save words for review timed to your memory, and see how much of each book you already know.