符号逻辑的意思

更新时间：2023-10-08 20:38:18

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

符号逻辑的拼音

拼音：fú hào luó ji 繁体字：符號邏輯

词典解释

数理逻辑。

国语词典

符號邏輯 (fú hào luó jí)

一種邏輯。不限名詞和命題，將其關係用數學符號表達，而以數學運算的方式，據以推斷論證命題的結果，有執簡衘繁的功效。

符号逻辑的解释

【符】字的意思：

基本字义符fú（ㄈㄨˊ）⒈ 古代朝廷传达命令或征调兵将用的凭证：虎符。符信。符节。⒉ 代表事物的标记、记号：符号。音符。⒊ 相合：符合。言行相符。⒋ 道士画的驱使鬼神的图形或线条：符咒。护身符。⒌ 古代称祥瑞的征...>>更多详情

关于符的组词：宝符、白符、艾符、邦符、辟兵符、表符、表里相符、标点符号、不符、兵符、边符、表音符号、

【号】字的意思：

基本字义号（號）hào（ㄏㄠˋ）⒈ 名称：国号。年号。字号。⒉ 旧指名和字以外的别号：如“李白字太白，号青莲居士”。⒊ 记号，标志：信号。暗号。⒋ 排定的次序或等级：编号。号码。⒌ 扬言，宣称：号称。项羽兵四十万，号百万。⒍ 指...>>更多详情

关于号的组词：阿芙乐尔号巡洋舰、暗号、奔走呼号、宝号、变号、变记号、哀号、卑号、币号、别号、拔号、表号、

【逻】字的意思：

基本字义逻（邏）luó（ㄌㄨㄛˊ）⒈ 巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。⒉ 遮拦：“蛛蝥结网工遮逻”。统一码逻字UNICODE编码U+903B，10进制:36923，UTF-32:0000903B，UTF-8:E980BB。逻字位于中日韩统一表意文字（CJKUnifiedIdeogr...>>更多详情

关于逻的组词：逼逻、辩证逻辑、簸逻回、辟逻、觇逻、钞逻、斥逻、传统逻辑、大逻便、发射极耦合逻辑集成电路、烽逻、符号逻辑、

【辑】字的意思：

基本字义辑（輯）jí（ㄐ一ˊ）⒈ 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。⒉ 聚集很多材料而成的书刊：丛书第一辑。⒊ 和，和睦：辑睦。⒋ 敛，拖着不便脱落。⒌ 古同“缉”，连缀。⒍ 古代称协调驾车的众马。统一...>>更多详情

关于辑的组词：安辑、辩证逻辑、编辑、编辑部、编辑程序、补辑、比辑、采辑、柴辑、传统逻辑、访辑、订辑、