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