首页
诗词
名句
诗人
国学
文学
成语
字典
词典
当前位置:
首页
词典
现代逻辑
xiàn
dài
luó
jí
现代逻辑
拼音
xiàn dài luó jí
注音
ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
词语解释
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
词语组词
现
字组词
代
字组词
逻
字组词
辑
字组词
相关词语
dài bài
代拜
shàng dài
上代
jí shǒu
辑首
hè rán sǒng xiàn
赫然耸现
jī qì dài mǎ
机器代码
liè dài
列代
luó jí cuò wù
逻辑错误
luó xún
逻巡
shè huì xiàn xiàng
社会现象
dài yàn
代雁
mǎ ěr dài fū
马尔代夫
yǔn jí
允辑
huó yǎn huó xiàn
活眼活现
xiàn yín zǐ
现银子
xiàn xíng
现行
jí xī
辑熙
xiàn shí
现实
xiàn dài zhǔ yì
现代主义
dài dé
代德
tuò luó
拓逻
xiào jí
校辑
yǐ táo dài lǐ
以桃代李
jí yìn
辑印
luó shǒu
逻守
jué dài
絶代
luó suò
逻逤
dài qiān
代迁
xiāng kè xiàn xiàng
相克现象
dài zhuī
代追
dài hào
代号