您现在的位置是:首页 > 词典 > 新名词

技术逻辑

分类:新名词153字

是研究如何将逻辑应用于各种技术系统和构造的问题,特别是应用于自动化机器的综合分析。这种逻辑主要是以逻辑演算为基础,其中特别是布尔代数。在技术逻辑中,命题演算是作为事件(事实)的计算来解释的;谓词演算则作为包含事实的函数的计算来解释的。其中事件(事实)相应于真命题;未发生的事件(事实)相应于假命题 ......     (共153字)    [阅读本文]>>

其他相关分类

推荐内容

  • 新名词

    文恩图解

    英国数学家文恩用交叉圆圈来表示概念间外延关系的一种图解。如:图(一)中的斜线表示既是A又是B的部分是不存在的,既没有“A”是“B”(一)没有“A”是“B”图(二)中圆圈相交部分中的“+”表示有的“A”是

    231字 55
  • 新名词

    永假公式

    一个真值形式(或真值函数)对其中各命题变元无论取什么样的真值,都使该真值形式(或真值函数)所取的值是恒假的,则称为永假公式。例如,p∧p就是一个矛盾式,用真值表表示如下:从表中看出,对命题p无论取什么值

    217字 58
  • 新名词

    欧拉图解

    瑞士数学家欧拉用圆圈来表示概念间的外延关系的一种图解。如以图(一)表示全同关系,图(二)表示上属关系,图(三)表示下属关系,图(二)、(三)表示从属关系,图(四)表示交叉关系,图(五)表示全异关系。欧拉

    275字 98
  • 新名词

    逻辑符号系统

    数理逻辑中不但有不同的系统,也有各种不同的符号体系。除变元外,命题逻辑中所使用的符号有两大类,一类是联结词符号,另一类是作分组用的符号。联结词符号。联结词采用的符号目前在数理逻辑中尚未取得一致,常用的几

    303字 49
  • 新名词

    谓词逻辑的应用

    用谓词符号表示语句,用谓词演算中的推理规则及定理处理科学及现实生活中的一些逻辑关系问题。这是谓词逻辑应用的主要方面。举个例子。求证“如果有一个儿子,那么就有一个父亲”这一推理在逻辑上正确。证明:引入谓词

    1776字 52
单篇阅读全文
知识稻田10年专业运营,值得您的信赖

限时特价:4.99元/篇

原价:10元
微信支付
VIP会员
畅享全站1000万篇资源,全文阅读

半年卡:58.00元/180天

原价:158元
VIP开通详情
VIP资源中心  
常见问题
欢迎使用微信支付
扫一扫微信支付
微信支付:6.97
微信支付中,请勿关闭窗口
微信支付中,请勿关闭窗口
支付成功
已获得文章阅读权限
确定