xiàndàiluójí

现代逻辑

xiàn dài luó jí

ㄒㄧㄢˋ ㄉㄞˋ ㄌㄨㄛˊ ㄐㄧˊ

現代邏輯

现代逻辑的意思

词语解释

现代逻辑xiàn dài luó jí

◎数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

国语辞典

现代逻辑xiàn dài luó jí

◎数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

网络解释

现代逻辑 (汉语词语)

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

字义分解

  • 现

    拼音 xiàn 部首 见 总笔画 8

    现 [ xiàn ]◎ ①显露。例如出~。表~。发~。体~。~身说法。②实有的,当时就有的。例如~金。~款。~货。~实(①客观存在的事物;②合于客观情况的)。③目前,当时。例如~时。~在。~今。~场。~代。~买~卖。 [更多解释]

  • 代

    拼音 dài 部首 亻 总笔画 5

    代 [ dài ]◎ ①替。例如~替。~办。~销。~序。~表。②历史上划分的时期。例如时~。世~。古~。近~。现~。当( dāng )~。年~。③世系的辈分。例如下一~。④姓。 [更多解释]

  • 逻

    拼音 luó 部首 辶 总笔画 11

    逻 [ luó ]◎ ①巡察。例如巡~。~吏(巡逻官)。~骑。~卒。②遮拦:“蛛蝥结网工遮~”。 [更多解释]

  • 辑

    拼音 jí 部首 车 总笔画 13

    辑 [ jí ]◎ ①聚集,特指聚集材料编书。例如~录。~要。~逸。编~。纂~。②聚集很多材料而成的书刊。例如丛书第一~。③和,和睦。例如~睦。④敛,拖着不便脱落。⑤古同“缉”,连缀。⑥古代称协调驾车的众马。 [更多解释]

分字组词

相关组词