词语含义查询 · 在线释义
查询结果
luó jí yǎn suàn · ㄌㄨㄛˊ ㄐㄧˊ ㄧㄢˇ ㄙㄨㄢˋ
数据更新:2026-07-13 16:15:10
用形式化方法处理逻辑推理,特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算