现代逻辑是什么意思
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
分词解释
现
拼音:xiàn
部首:见
笔划:8
五笔:gmqn
现字组词
现
(現)
xiàn
显露:出现。表现。发现。体现。现身说法。
实有的,当时就有的:现金。现款。现货。现实(a.客观存在的事物;b.合于客观情况的)。
目前,当时:现时。现在。现今。现场。现代。现买现卖。
隐
笔画数:8;
部首:见;
笔顺编号:11212535
代
拼音:dài
部首:亻
笔划:5
五笔:way
代字组词
代
dài
替:代替。代办。代销。代序。代表。
历史上划分的时期:时代。世代。古代。近代。现代。当(ddāng )代。年代。
世系的辈分:下一代。
姓。
笔画数:5;
部首:亻;
笔顺编号:32154
逻
拼音:luó
部首:辶
笔划:11
五笔:lqpi
逻字组词
逻
(邏)
luó
巡察:巡逻。逻吏(巡逻官)。逻骑。逻卒。
遮拦:“蛛蝥结网工遮逻”。
笔画数:11;
部首:辶;
笔顺编号:25221354454
辑
拼音:jí,ji
部首:车
笔划:13
五笔:lkbg
辑字组词
辑
(輯)
jí
聚集,特指聚集材料编书:辑录。辑要。辑逸。编辑。纂辑。
聚集很多材料而成的书刊:丛书第一辑。
和,和睦:辑睦。
敛,拖着不便脱落。
古同“缉”,连缀。
古代称协调驾车的众马。
笔画数:13;
部首:车;
笔顺编号:1521251122111
更多组词
心光
心同止水
仙宅
献履
宪恩
湘竹
遣罪
修闾氏
铅刀
迁移
千丈
泻湖
消没
缃牒
丧病
心扉
嗓眼
写效
如运诸掌
相室
襄理
香篆
小成
湮落
险战
咸阳火
牵疾
如意延年
芊眠
牵线
校军
淹淹
湮泯
涎皮赖脸
谢幕
骁悍
挦补
香蚁
飨奠
血脉