量化逻辑

繁体词形

量化邏輯

来源拼音（数字声调）

liang4 hua4 luo2 ji5

英文原释义

中文教学解释尚未补齐；每条来源记录独立，不将以下释义片段机械拆为已审义项。

• quantificational logic (i.e. first-order logic)

来源：CC-CEDICT 2026-10-31T21:06:18Z；cedict_ts.u8 第111197行。保留大小写与读音差异。