搜索
主菜单
遥传千里· 悦耳动人
帮助中心
查范文
查诗词
查字典
查词典
查成语
目录导航
工具目录
汉语字典
汉语词典
成语大全
英文单词
英文缩写
近反义词
近反义词
近反字库
近反义词
诗词大全
古籍精选
热门诗人
诗词名句
古诗诗文
推荐诗人
陆龟蒙
朱熹
吴融
柳宗元
郦道元
贾岛
首页
汉语词典
汉语字典
古诗赏析
成语大全
传统节气
名字大全
百家姓
近反义词
英语单词
词语造句
范文文库
英文缩写
词典
现代逻辑的意思
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
指
代
zuǎn jí
纂
辑
zhuàn jí
撰
辑
zhuì jí
缀
辑
zhèn jí
镇
辑
zhāo jí
招
辑
zhuāng jí
装
辑
wèi jí
慰
辑
wá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
返回
查范文
查诗词
查字典
查词典
查成语
最新范文
2023年政治思想表现鉴定材料范文(19篇)
最新金融论文开题报告(专业24篇)
中学教育收费自查报告(精选16篇)
整改的通知(热门18篇)
宣传工作心得(优秀14篇)
小狮子的教学设计(优质18篇)
赞赏赞赏的(精选16篇)
最新法学专科论文(热门24篇)
医院无烟日活动实施方案(实用19篇)
2023年公司总经理就职分钟演讲稿大全(15篇)
历史搜索
静夜思
静夜思
芈
习
圞
春
工作
五
生机勃勃
春
大家都在搜
范文
将进酒
破阵乐
念奴娇
多丽
永遇乐
范 文
李白
长 征
我