搜索
首页
古诗
词典
字典
成语
名字
百家姓
近反义词
单词
造句
英文缩写
节气
搜索
词典
现代逻辑的意思
xiàn
dài
luó
jí
现代逻辑
拼音
xiàn dài luó jí
注音
ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
词语解释
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
词语组词
现
字组词
代
字组词
逻
字组词
辑
字组词
相关词语
zhà xiàn
诈
现
wǎn dài
晩
代
zài tiē xiàn
再贴
现
zhuó dài
浊
代
zhé dài
辄
代
xiàn jīn zhàng
现
金账
yàn dài
猒
代
wǎn dài
挽
代
zuǎn dài
纂
代
wǎn luó
晩
逻
zhēn luó
侦
逻
zhǐ dài
指
代
zhuāng jí
装
辑
zuǎn jí
纂
辑
wán jí
完
辑
wèi jí
慰
辑
zhāo jí
招
辑
zhèn jí
镇
辑
zhuì jí
缀
辑
zhuàn jí
撰
辑
wàn dài qiān qiū
万
代
千秋
zhuō dāo dài bǐ
捉刀
代
笔
zǐ sūn hòu dài
子孙后
代
zì wǒ biǎo xiàn
自我表
现
zhēn lóng huó xiàn
真龙活
现
zhuài xiàng luó jiē
拽巷
逻
街
zǐ yī dài
子一
代
chān luó
觇
逻
shàn dài
禅
代
bò luó huí
簸
逻
回
词语词性
拟声词
代词
动词
名词
形容词
副词
量词
介词
连词
数量词
数词
助词
疑问词
成语
词语组词
AA式
ABCC式
AABC式
ABB式
ABAC式
AAB式
ABCB式
ABBC式
ABAB式
词语首拼
A
B
C
D
E
X
F
G
H
J
K
K
L
M
N
Z
Y
O
W
P
P
P
R
S
T