量化逻辑 Save Sign in to save words Traditional (Taiwan): 量化邏輯 liànghuàluóji ㄌㄧㄤˋ ㄏㄨㄚˋ ㄌㄨㄛˊ ˙ㄐㄧ quantificational logic (i.e. first-order logic) Character by character 量(liàng)capacity 化(huà)make into 逻(luó)patrol 辑(ji)gather up A Chinese word or character, or English Search Sources CC-CEDICT, CC BY-SA 4.0 pinyinjs, Apache-2.0