数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
现组词 现在 表现 发现 出现 现代 现场 现状 现货
代组词 代理 现代 时代 代表 代码 古代 代办 新时代
逻组词 逻辑 逻辑思维 巡逻 逻辑学 逻辑电路 形式逻辑 逻辑错误 逻辑代数
辑组词 编辑 剪辑 逻辑 专辑 逻辑思维 逻辑学 逻辑电路 编辑部
字母X开头的词语xiandailuoji
相关汉字解释:现 代 逻 辑