量化逻辑 liànghuàluóji quantificational logic Origin Definitions Defs Strokes Stroke Words Sentences Sents