在线词典量化逻辑quantificational logic (i.e. first-order logic)英文释义quantificational logic (i.e. first-order logic)
