量化逻辑 (量化邏輯) liànghuà luóji

liànghuà luóji set phrase quantified logic
Domain: Modern Chinese 现代汉语
Notes: (CC-CEDICT '量化邏輯')