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

《数理逻辑基础》

分类:新名词495字

胡世华、陆钟万著,科学出版社1981年出版,19万字。本书介绍数理逻辑的基础,包括逻辑演算的基本内容,这些内容是数理逻辑各个分支的共同的基础。全书分上、下两册。上册包括绪论、第一章和第二章。在绪论中说明了数理逻辑的性质和逻辑演算的大体内容,并且简要介绍了阅读本书各章所需要的关于集论和数字归纳法的预备知识。第一章构造了命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则。第二章研究了逻辑演算的重要系统特征,包括等值公式的可替换性、连接词的完备性、代人、范式和对偶性等。本书的一个显著特点是按照直接而自然地反映演绎推理的要求构造逻辑演算。书 ......     (共495字)    [阅读本文]>>

其他相关分类

推荐内容

  • 新名词

    文恩图解

    英国数学家文恩用交叉圆圈来表示概念间外延关系的一种图解。如:图(一)中的斜线表示既是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
微信支付中,请勿关闭窗口
微信支付中,请勿关闭窗口
支付成功
已获得文章阅读权限
确定