千
千
秀
字
网站导航
辞海
模糊查询
排序方式
拼音
字数
定位查询
排序方式
拼音
字数
词语:
现代逻辑
释义:
xiàn dài luó jí
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
相关词语:
现代
逻辑
QQXIUZI.CN
千千秀字