360百科
逻辑演算
用
来自
形式化方法
处理逻辑推理,特别是数学中所用推理。由于形式化了的推理过
练朝
程与代数演算具有
相似性,故也称
之为逻辑演算。
中文名称
逻辑演算
所属学科
逻辑学
正在加载,请耐心等待