“符号逻辑” 网络解释
补充纠错
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
“符”字词语
补充纠错
- 不符
- 邦符
- 催命符
- 催生符
- 干符
- 干符坤珍
- 昌符
- 赤伏符
- 赤符
- 赤灵符
- 兵符
- 承符吏
- 分符
- 地符
- 丹符
- 传符
- 隔音符号
- 符拔
- 符宝
- 符葆
- 符表
- 符别
- 符采
- 符彩
- 符曹
- 符册
- 符策
- 符谶
- 符勅
- 符敕
- 符传
- 符袋
- 符牒
- 符法
- 符告
- 符官
- 符号论
- 符号逻辑
- 符合
- 符劾
- 符虎
- 符扈
- 符蔰
- 符会
- 符籍
- 符记
- 符甲
- 符架
- 符教
- 符醮
- 符卪
- 符节
- 符节官
- 符禁
- 符经
- 符贶
- 符拉迪沃斯托克
- 符理
- 符历
- 符吏
- 符娄
- 符箓
- 符録
- 符命
- 符目
- 符牌
- 符棨
- 符契
- 符券
- 符禳
- 符任
- 符繻
- 符瑞
- 符瑞图
- 符赏
- 符师
- 符识
- 符实
- 符使
- 符守
- 符授
- 符书
- 符术
- 符水
- 符台
- 符帖
- 符同
- 符图
- 符纬
- 符文
- 符伍
- 符檄
- 符玺
- 符譣
- 符祥
- 符効
- 符效
- 符协
- 符信
- 符厌
- 符验
- 轨符
- 黑心符
- 户符
- 护符
- 护官符
- 简符
- 绛符
- 火符
- 九符
- 飞符
- 符样
- 符要
- 符曜
- 符移
- 符印
- 符应
- 符运
- 符兆
- 符镇
- 符征
- 符旨
- 符呪
- 符咒
- 符竹
- 符祝
- 符篆
- 符桩
- 敕符
- 谶符
- 标点符号
- 护身符
- 护身符子
- 节符
- 金兽符
- 钗符
- 钗头符
- 边符
- 鼎玉j符
- 公符
- 换符
- 鬼画符
- 金符
- 景符
- 金鱼符
- 焚符破玺
- 表符
- 计符
- 蠲符
- 金虎符
- 金字牙符
- 开心符
- 麟符
- 梦符散曲
- 路符
- 记名符
- 降符
- 合符
- 军符
- 刻符
- 木鱼符
- 録符
- 默符
- 钤符
- 呕符
- 日符
- 瑞符
- 神咒符
- 省符
- 使符
- 守符
- 书符
- 剖符
- 詅蚩符
- 詅嗤符
- 詅痴符
- 詅符
- 灵符
- 龙符
- 冥符
- 七符六诏
- 名不符实
- 名符其实
- 双符
- 名实相符
- 裴神符
- 平安符
- 潜符
- 青符
- 三珠符
- 神符
- 木符
- 木刻符契
- 青龙符
- 蛇符
- 声符
- 受符
- 兽符
- 探符
- 天师符
- 握符
- 玺符
- 前符
- 县符
- 桃符板
- 吞符翕景
- 言行相符
- 叶符
- 阴符
- 郁垒符
- 玉符
- 相符
- 天符
- 铜兵符
- 铜符
- 铜符吏
- 铜虎符
- 卫符
- 文符
- 线符
- 星符
- 悬符
- 移符
- 意符
- 隐符
- 余符
- 玉麟符
- 土符
- 铜兽符
- 铜鱼符
- 伍符
- 隐身符
- 右符
- 银符
- 圆符
- 鸳鸯符
- 同符合契
- 武符
- 信符
- 牙符
- 印符
- 鱼符
- 玉印符
- 银兔符
- 银菟符
- 银鱼符
- 云符
- 召符
- 哲符
- 执符
- 旨符
- 驺虞符
- 祥符
- 玄符
- 玄女符
- 休符
- 休止符
- 益符
- 应符
- 邮符
- 元符
- 允符
- 直符
- 朱符
- 竹符
- 灾符
- 贞符
- 祯符
- 竹使符
- 左符
- 征符
- 字符
- 字符串
- 左鱼符
- 珍符
“号”字词语
补充纠错
- 奔走呼号
- 本号
- 干号
- 编号
- 店号
- 兵号
- 低标号
- 分号
- 大号
- 禅号
- 感叹号
- 传号
- 隔音符号
- 暗号
- 阿芙乐尔号巡洋舰
- 打号
- 德号
- 短号
- 称号
- 绰号
- 符号论
- 符号逻辑
- 烦号
- 间隔号
- 加号
- 进军号
- 崩号
- 赐号
- 讹号
- 敕号
- 顶号
- 哀号
- 帝号
- 单挂号
- 标点符号
- 标号
- 弓号
- 该号
- 诡号
- 火号
- 枷号
- 号嗄
- 号板
- 号詖
- 号簿
- 号称
- 号辞
- 号灯
- 号谍
- 号顿
- 号弓
- 号唃
- 号褂
- 号寒啼饥
- 号号
- 号呼
- 号火
- 号件
- 号角
- 号叫
- 号噭
- 号戒
- 号军
- 号坎
- 号坎儿
- 号哭
- 号帘
- 号躪
- 号令
- 号令如山
- 号脉
- 号名
- 号呶
- 号怒
- 号牌
- 号炮
- 号擗
- 号屏
- 号旗
- 号泣
- 号群
- 号然
- 号丧
- 号色
- 号哨
- 号舍
- 号谥
- 号手
- 号嘶
- 号诉
- 号天
- 号恸
- 号外
- 号位
- 号型
- 号衣
- 号吟
- 号踊
- 号噪
- 号踯
- 号纸
- 号志灯
- 号钟
- 街号巷哭
- 口号
- 开号
- 狂号
- 拆号
- 出号
- 币号
- 浑号
- 涣发大号
- 涣号
- 鬼号
- 鬼哭神号
- 交通信号灯
- 哈号
- 假号
- 惊号
- 句号
- 封号
- 冲锋号
- 府号
- 病号
- 第二信号系统
- 第一号
- 第一信号系统
- 还号
- 诨号
- 混号
- 表号
- 鬼泣神号
- 寒号虫
- 徽号
- 嘉号
- 疾号
- 禁号
- 爵号
- 六号
- 卖字号
- 美号
- 皇号
- 内号
- 咆号
- 贵号
- 建号
- 纪号
- 降号
- 军号
- 啾号
- 嘂号
- 噭号
- 哭号
- 鸬鹚号
- 马王堆一号汉墓帛画
- 鸣号
- 年号
- 谱号
- 起号
- 生号
- 书名号
- 司号员
- 嘶号
- 破折号
- 名号
- 名号侯
- 泡病号
- 屏号
- 冗号
- 山西票号
- 氏号
- 师号
- 谥号
- 双挂号
- 联号
- 慕号
- 齯号
- 末号
- 旗号
- 戎号
- 人造天体天文代号
- 三号
- 删节号
- 伤号
- 神号
- 神号鬼哭
- 神号鬼泣
- 殊号
- 四角号码查字法
- 连号
- 螺号
- 卖大号
- 明号
- 冒号
- 马号
- 票号
- 配号
- 牌号
- 攀号
- 筛锣掌号
- 商号
- 神母夜号
- 施号发令
- 施命发号
- 诵号
- 酸号
- 逃号
- 特大号
- 特号
- 王号
- 先号后庆
- 先号后笑
- 先笑后号
- 窃号
- 认军旗号
- 赏号
- 牲号
- 手号
- 手号军
- 爽号
- 天字第一号
- 天字一号
- 惕号
- 通号
- 往号
- 乌号
- 锡号
- 虚号
- 勋号
- 讯号
- 洋号
- 一号
- 邮票志号
- 远号
- 随机信号
- 堂号
- 头号
- 问号
- 五月花号
- 文号
- 雅号
- 禺号
- 冤号
- 越号
- 天号
- 跳号
- 啼号
- 啼饥号寒
- 提铃喝号
- 托号
- 微号
- 席号
- 位号
- 销号
- 显号
- 心号
- 押号
- 邑号
- 易号
- 银号
- 圆号
- 圆括号
- 欲望号街车
- 同号
- 题号
- 五号
- 谓号
- 嚣号
- 信号
- 信号发生器
- 信号旗
- 型号
- 姓号
- 印号
- 仪号
- 攒号
- 掌号
- 召号
- 诏号
- 制号
- 种号
- 着号
- 着重号
- 尊号
- 行号
- 行号卧泣
- 行号巷哭
- 吁号
- 引号
- 吆号子
- 战舰波将金号
- 治号
- 专号
- 坐号
- 赠号
- 账号
- 正号
- 专名号
- 招号
- 重彩号
- 追号
- 字号
- 政号
- 轴号
- 中号
- 总号
“逻”字词语
补充纠错
“辑”字词语
补充纠错
- 访辑
- 购辑
- 编辑
- 编辑部
- 编辑程序
- 传统逻辑
- 比辑
- 符号逻辑
- 辩证逻辑
- 怀辑
- 简辑
- 辑安
- 辑本
- 辑补
- 辑褫
- 辑定
- 辑合
- 辑和
- 辑集
- 辑辑
- 辑屦
- 辑刊
- 辑刻
- 辑里丝
- 辑理
- 辑录
- 辑録
- 辑睦
- 辑穆
- 辑宁
- 辑洽
- 辑柔
- 辑瑞
- 辑矢
- 辑首
- 辑绥
- 辑熙
- 辑校
- 辑谐
- 辑译
- 辑印
- 辑志协力
- 辑治
- 辑着
- 辑濯
- 柴辑
- 抚辑
- 订辑
- 和辑
- 拊辑
- 较辑
- 降辑
- 剪辑
- 鸠辑
- 宁辑
- 普通逻辑
- 裒辑
- 冗辑
- 齐辑
- 诗辑
- 收辑
- 逻辑变量
- 逻辑代数
- 逻辑电路
- 逻辑联结词
- 逻辑门
- 逻辑学
- 数理逻辑
- 特辑
- 绥辑
- 现代逻辑
- 修辑
- 搜辑
- 校辑
- 衍辑
- 相辑
- 完辑
- 谐辑
- 形式逻辑
- 宣辑
- 慰辑
- 选辑
- 缀辑
- 撰辑
- 允辑
- 镇辑
- 专辑
- 装辑
- 纂辑
- 招辑
- 总编辑
大家都在查
分享链接
热门工具排行榜