现代逻辑
xiàn dài luó jí解释
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
逐字解释
现 (形声。从玉,见声。本义出现) 同本义(明显看得见) 现,俗见字。--《广韵》 东坡现右足。--明·魏学洢《核舟记》 又如现弄(在人面前炫示自己);现化(佛教所称佛或菩萨在人间显现的化身);现示(显示) 见 帝宣,三人借袍现帝。--《三国志平话》 现 玉光 现,玉光。--《集…
代 (形声。小篆字形,从人,弋声。本义更迭,代替) 同本义 代,更也。凡以此易彼,以后续前,皆曰代。--《说文》 县壶以代哭者。--《周礼·挈壶氏》 与君代兴。--《左传·昭公十二年》。注更也。” 使子父代处。--《国语·晋语》。注更也。” 岁代处,故曰代田。--《汉书·食货志》…
逻 (形声。从辵,表示与行走有关,罗声。本义巡察,巡逻) 同本义 逻者数十骑。--宋·文天祥《指南录后序》 又如逻伺(巡罗侦察);逻弋(巡逻);逻守(巡逻守卫);逻役(巡逻的差役);逻捕(巡察搜捕) 遮拦 蛛蝥结网工遮逻。--黄庭坚《演雅》 又如逻打(拦截殴打);逻送(捕捉解送)…
辑 (形声。本义车箱) 同本义。泛指车子 辑,车和辑也。--《说文》 辑,合材为车,咸相得谓之辑。--《六书故》 推于御也,齐辑乎辔衔之际。--《列子·汤问》 整套书籍、资料等按内容或发表先后次序分成的各个部分 辑 聚集 甲辑而兵聚。--《韩非子·说林》 又如辑辑(群集的样子) …