现代逻辑
基本释义
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
安于现状 良心发现 优昙一现 遐代 革代 代步 交代 党代表 发现权 代码 代名词 瓜代 现丑 逻逤檀 现代冬季两项 来代 代售 朝代 代人说项 巡逻 逻辑 摩登时代 逻辑学 现缗 现代五项 赫然耸现 现货 现今 现示 社会现象 辑屦 辑刻 辑校 补辑 修辑 绥辑 辑着 齐辑 宁辑 逻惹 谐辑 现代逻辑 候逻 街逻 晩逻 逻弋 逻役 游逻 逻辑代数 逻司