现代逻辑
词语 | 现代逻辑 |
---|---|
拼音 | xiàn dài luó jí |
字数 | 4字词语 |
形式 | abcd式词语 |
意思:
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。解释:
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
相关词语:
安于现状百代过客百代文宗包办代替传宗接代成年古代代拆代行代代相传代人受过代人捉刀代马望北代马依风代人说项代为说项代越庖俎丢人现眼风华绝代改朝换代