luó jí yǎn suàn · ㄌㄨㄛˊ ㄐㄧˊ ㄧㄢˇ ㄙㄨㄢˋ · 更新 2026-06-30 22:45:03
用形式化方法处理逻辑推理,特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算