符号逻辑
fú hào luó jí
ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ
时代词语
词语解释
符号逻辑
数理逻辑。
国语辞典
符号逻辑
一种逻辑。不限名词和命题将其关系用数学符号表达而以数学运算的方式据以推断论证命题的结果有执简衘繁的功效。
网络解释
符号逻辑
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法包括使用符号和公式已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨他认为经典的传统逻辑必须改造和发展是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
-
符
拼音 fú 部首 ⺮ 总笔画 11①古代朝廷传达命令或征调兵将用的凭证。例如虎~。~信。~节。②代表事物的标记、记号。例如~号。音~。③相合。例如~合。言行相~。④道士画的驱使鬼神的图形或线条。例如~咒。护身~。⑤古代称祥瑞的征兆。例如~瑞。~应( yìng )(指天降“符瑞”,与人事相应)。⑥姓。 -
号
拼音 hào,háo 部首 口 总笔画 5①名称。例如国~。年~。字~。②旧指名和字以外的别号。例如如“李白字太白,~青莲居士”。③记号,标志。例如信~。暗号。④排定的次序或等级。例如编~。~码。⑤扬言,宣称。例如~称。项羽兵四十万,~百万。⑥指某种人员。例如病~。伤~。⑦标上记号。例如~房子。把这件东西~上。⑧号令,命令。例如发号施~令。~召。⑨军队或乐队里所用的西式喇叭。例如吹~。~兵。⑩量词,用于人数。例如昨天去了几十~人。 -
逻
拼音 luó 部首 辶 总笔画 11①巡察。例如巡~。~吏(巡逻官)。~骑。~卒。②遮拦:“蛛蝥结网工遮~”。 -
辑
拼音 jí 部首 车 总笔画 13①聚集,特指聚集材料编书。例如~录。~要。~逸。编~。纂~。②聚集很多材料而成的书刊。例如丛书第一~。③和,和睦。例如~睦。④敛,拖着不便脱落。⑤古同“缉”,连缀。⑥古代称协调驾车的众马。