符号逻辑
符号逻辑朗读
符号逻辑
- 词语读音fú hào luó ji
- 词语注音ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧ
- 繁体字形符號邏輯
词语解释
基本解释
数理逻辑。
辞典解释
符号逻辑fú hào luó jíㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐㄧˊ
一种逻辑。不限名词和命题,将其关系用数学符号表达,而以数学运算的方式,据以推断论证命题的结果,有执简衘繁的功效。
网络解释
符号逻辑
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
“符号逻辑”的单字解释
- 拼音luó
- 部首辶
- 总笔画11画
- 统一码903B
- 五笔LQPI
- 仓颉YWLN
- 郑码LKRW
- 四角36302
逻luóㄌㄨㄛˊ 巡察:巡~。~吏(巡逻官)。~骑。~卒。 遮拦:“蛛...
- 拼音jí
- 部首车
- 总笔画13画
- 统一码8F91
- 五笔LKBG
- 仓颉KQRSJ
- 郑码HEJC
- 四角46541
辑jíㄐㄧˊ 聚集,特指聚集材料编书:~录。~要。~逸。编~。纂~...
- 拼音hào
- 部首口
- 总笔画5画
- 统一码53F7
- 五笔KGNB
- 仓颉RMVS
- 郑码JAZ
- 四角60027
号hàoㄏㄠˋ 名称:国~。年~。字~。 旧指名和字以外的别号:如“李...
- 拼音fú
- 部首竹
- 总笔画11画
- 统一码7B26
- 五笔TWFU
- 仓颉HODI
- 郑码MNDS
- 四角88243
符fúㄈㄨˊ 古代朝廷传达命令或征调兵将用的凭证:虎~。~信。~节...