弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
用形式化方法处理逻辑推理，特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性，故也称之为逻辑演算
【逻的意思】：逻（邏） luó（ㄌㄨㄛˊ） （一）、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。（二）、遮拦：“蛛蝥结 详情>
【辑的意思】：辑（輯） jí（ㄐ一ˊ） （一）、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。（二）、聚集 详情>
【演的意思】：演 yǎn（一ㄢˇ） （一）、根据事理推广发挥：推演。讲演（亦作“演讲”）。演义（以史书及传说的材料 详情>
【算的意思】：算 suàn（ㄙㄨㄢˋ） （一）、核计，计数：算草。算盘。算式。算账。算术。算计（ａ．算数目；ｂ．考 详情>
