首页
诗词
名句
诗人
飞花令
诗单
诗词游戏
古籍
文学
成语
字典
词典
谜语
教育学习
首页
诗词
名句
诗人
飞花令
诗单
诗词游戏
古籍
文学
成语
字典
词典
谜语
教育学习
首页
诗词
名句
诗人
飞花令
诗单
诗词游戏
古籍
文学
成语
字典
词典
谜语
教育学习
当前位置：
首页
词典
现代逻辑
xiàn
dài
luó
jí
现代逻辑
拼音
xiàn dài luó jí
注音
ㄒ一ㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐ一ˊ
词语解释
⒈ 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
词语组词
代
字组词
辑
字组词
逻
字组词
现
字组词
相关词语
dài shǔ shù
代数数
jiāng lǐ dài táo
将李代桃
wéi dài
违代
luó jí diàn lù
逻辑电路
rěn rǎn dài xiè
荏苒代谢
xiàn yǒu
现有
jí jí
辑辑
tì dài
替代
dài shàn
代嬗
shàn dài
禅代
dài dài xiāng chuán
代代相传
xiòng luó
诇逻
dài yòng pǐn
代用品
dài cí
代词
shèng dài
圣代
dài gòu
代购
chì luó
斥逻
zǐ dài
子代
yǔn jí
允辑
zhēn lóng huó xiàn
真龙活现
jiāng táo dài lǐ
僵桃代李
xiàn nián
现年
dài jí
代及
chuán tǒng luó ji
传统逻辑
jiè dài
借代
bā dài
八代
jí hé
辑合
shì dài shū xiāng
世代书香
dài míng cí
代名词
lái wú
莱芜
词语词性
名词
动词
形容词
副词
拟声词
助词
连词
介词
代词
疑问词
数词
量词
数量词
成语
词语组合
AABB式
ABAB式
A里AB式
AABC式
ABAC式
ABCA式
ABBC式
ABCB式
ABCC式
ABB式
AAB式
AA式
词语组词
生肖
四季
数字
动物
植物
颜色
方位
味道
自然
身体
武器
词语首拼
A
B
C
D
E
F
G
H
J
K
L
M
N
O
P
Q
R
S
T
W
X
Y
Z
