现代逻辑

xiàn dài luó jí
 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
现代逻辑

现代逻辑读音

  • 读音:xiàn dài luó jí
  • 注音:ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
  • 繁体:

现代逻辑的词语解释

词语解释

⒈  数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。