现代逻辑
xiàn dài luó jí
現代邏輯
现代逻辑的意思
词语解释
现代逻辑
◎数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
国语辞典
现代逻辑
◎数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
网络解释
现代逻辑 (汉语词语)
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
字义分解
现
拼音 xiàn 部首 见 总笔画 8现 [ xiàn ]◎ ①显露。例如出~。表~。发~。体~。~身说法。②实有的,当时就有的。例如~金。~款。~货。~实(①客观存在的事物;②合于客观情况的)。③目前,当时。例如~时。~在。~今。~场。~代。~买~卖。 [更多解释]
代
拼音 dài 部首 亻 总笔画 5代 [ dài ]◎ ①替。例如~替。~办。~销。~序。~表。②历史上划分的时期。例如时~。世~。古~。近~。现~。当( dāng )~。年~。③世系的辈分。例如下一~。④姓。 [更多解释]
逻
拼音 luó 部首 辶 总笔画 11逻 [ luó ]◎ ①巡察。例如巡~。~吏(巡逻官)。~骑。~卒。②遮拦:“蛛蝥结网工遮~”。 [更多解释]
辑
拼音 jí 部首 车 总笔画 13辑 [ jí ]◎ ①聚集,特指聚集材料编书。例如~录。~要。~逸。编~。纂~。②聚集很多材料而成的书刊。例如丛书第一~。③和,和睦。例如~睦。④敛,拖着不便脱落。⑤古同“缉”,连缀。⑥古代称协调驾车的众马。 [更多解释]
