词语现代逻辑
拼音xiàn dài luó jí xian dai luo ji
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
◎现 現 xiàn 〈动〉 (1)(形声。从玉，见声。本义：出现) (2)同本义(明显看得见)[become visible；appear；show] 现，俗见字。——《广韵》 东坡现右足。—— 明·...
代:量词。用于计算辈分的单位。 【组词】：「他家四代祖孙都从事同一行业。」接替。 【组词】：「瓜代」、「父死子代」、「新陈代谢」。替代、替换。 &nb...
逻:逻辑：A>思维的规律。 【组词】：「这麽做似乎不合逻辑。」B>一门研究思维形式和规律的学科，又称为「理则学」。巡察。 【组词】：「巡逻」、「侦逻」。 山或溪...
辑:◎辑 (1)輯 ji (2)——见“逻辑”(luóji) (3)另见 jí◎辑 輯 jí 〈名〉 (1)(形声。本义：车箱) (2)同本义。泛指车子 [sedan chair] 辑，车和辑也。——《说...