现代逻辑是什么意思

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
分词解释
拼音: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

(輯)

聚集,特指聚集材料编书:辑录。辑要。辑逸。编辑。纂辑。
聚集很多材料而成的书刊:丛书第一辑。
和,和睦:辑睦。
敛,拖着不便脱落。
古同“缉”,连缀。
古代称协调驾车的众马。

笔画数:13;
部首:车;
笔顺编号:1521251122111


更多组词