fú hào luó jí

符号逻辑

拼音
fú hào luó jí
注音
ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ
词性
名词
繁体
符號邏輯

符号逻辑的意思

词语解释

符号逻辑fú hào luó ji

  1. 数理逻辑。

国语辞典

符号逻辑fú hào luó jí

  1. 一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。

网络解释

符号逻辑符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。

符号逻辑的字义分解

  • 号

    拼音 hàoháo 部首 口 总笔画 5

    ["①名称。如 国~。年~。字~。②旧指名和字以外的别号。如 如“李白字太白,~青莲居士”。③记号,标志。如 信~。暗号。④排定的次序或等级。如 编~。~码。⑤扬言,宣称。如 ~称。项羽兵四十万,~百万。⑥指某种人员。如 病~。伤~。⑦标上记号。如 ~房子。把这件东西~上。⑧号令,命令。如 发号施~令。~召。⑨军队或乐队里所用的西式喇叭。如 吹~。~兵。⑩量词,用于人数。如 昨天去了几十~人。","①拖长声音大声呼叫。如 呼~。~叫。②大声哭。如 哀~。~丧。~啕大哭。"]详细解释

  • 符

    拼音 fú 部首 ⺮ 总笔画 11

    ["①古代朝廷传达命令或征调兵将用的凭证。如 虎~。~信。~节。②代表事物的标记、记号。如 ~号。音~。③相合。如 ~合。言行相~。④道士画的驱使鬼神的图形或线条。如 ~咒。护身~。⑤古代称祥瑞的征兆。如 ~瑞。~应( yìng )(指天降“符瑞”,与人事相应)。⑥姓。"]详细解释

  • 辑

    拼音 jí 部首 车 总笔画 13

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

  • 逻

    拼音 luó 部首 辶 总笔画 11

    ["①巡察。如 巡~。~吏(巡逻官)。~骑。~卒。②遮拦:“蛛蝥结网工遮~”。"]详细解释

符号逻辑的分字组词

符号逻辑的相关词语