莱布尼兹“逻辑加”等词项定义、还有公理和公设-逻辑与算法之十二

莱布尼兹“逻辑加”等词项定义、还有公理和公设-逻辑与算法之十二

相同和不同是莱布尼兹片断20中,最为基础的定义。展开莱布尼兹关于普遍演算的设想,余下的定义,公理和公设都不可缺,然后才能开始命题的证明。本篇继续以文本片断20为据,先给出余下的定义3-6,继而给出公理1-2和公设2的部分。

很难想象,这个世界如果没有2000年前《几何原本》的存在,今天会是什么样子。开启人类科学时代的那些如牛顿、莱布尼兹这样的大科学家,他们关于人类智能的新发现,几乎就是按照《几何原本》的模式构造的。简直就可以说,没有《几何原本》这个希腊原创,就没有今天的科学。定义,公理,公设,命题,这个《几何原本》首卷平面几何基础奠定的模式,是人类为这个世界留下的永恒。

接续上篇定义2,有几个依据定义1和2来证明的命题1-4。它们有了简单证明后,定义3-6就随之出现。这些有关词项的定义,仿佛让人看到亚里士多德三段论的影子,包含、下属、合成、全异等,这类用来刻画古典三段论词项之间关系的一些性质,出现在莱氏的普遍演算设想之中。

定义3:包含(contain)

A在L中,或者L包含A,这等于是说,L可以由多个词项组合而成,A是其中的一个。

图形1 包含
在这里插入图片描述

定义4:组合或者合成(实际上是逻辑加⊕的一种定义)

所有那些集合在一起的词项,包含在L中。这些集合起来的词项,称作相关于L而组

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值