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