命题和命题的否定可以同时成立吗?

命题和命题的否定可以同时成立吗?

曾加

2 年前


昨天晚上就寝前,我的脑子里突然多了一个洞,想到两个很简单的命题:

  • A 是
    B;
  • A 不是
    B;

很显然,第二个命题是第一个命题的否定,它和第一个命题互为 绝对补集,看起来,这两个命题好像有且只有一个能够成立。

可是,我的脑洞告诉我,这两个命题一定要同时成立——不是那种含糊的成立,而是 100% 的成立。那该怎么办呢?

********************

呃……好像……做不到?

从逻辑上看,当然不可能做到。但只要脑洞够大,就可以从其他地方做到。

这个脑洞,不要一下子都填了,需要慢慢填,才有味道。

********************

让我们仔细观察一下这两句话:

  • A 是
    B;
  • A 不是
    B;
  • 思考一下,除了第二个命题是第一个命题的否定外,还有什么不同?

    *****

    第一反应是:位置不同!

    于是,我得到了第一个能使两个命题同时成立的解:


    (需要说明的是,两句话中“本命题”,虽然使用的文字是一模一样的,但并不指代同一个命题,因此,严格地说,这两个命题并不构成互补关系,实际上,也只有这样,两个命题才有同时成立的可能。后面的几个解都利用了对命题自身的指代,这使得每一个解都趣味横生)

    当然,这个解似乎有点太讨巧了,如果两个命题并排写,就不对了,所以,它不是一个漂亮的解答。

    *****

    那么,除了位置以外,还有哪里不同呢?

    看来只能是 “是” 和 “不是”
    的区别了。

    “是” 和 “不是”
    最本质的区别,是前者用于肯定句,后者用于否定句。

    于是我们得到了第二个解,也是最简洁漂亮的解:

    当然,也可以稍微绕一下:


    如果我们能考虑两句话的关系,我们容易找到第 4 个解:


    *****

    除了肯定和否定的区别,还有什么呢?

    显然,“不是” 比 “是” 多一个“不”
    字,于是我们又找到两个解:


    当然,一个“不”
    字的差别,使得两句话的字数不同了,于是我们又找到两组与之前都不一样的解:


    *****

    假如你已经看到了这里,你的反应大概会是这样的——

    然而,这篇专栏不能这样结束了,它还需要一个漂亮的结尾。


    【完】

「我可以同时打赏以及不打赏吗?」

时间: 2024-07-28 15:03:59

命题和命题的否定可以同时成立吗?的相关文章

OpenCASCADE Hidden Line Removal

OpenCASCADE Hidden Line Removal eryar@163.com Abstract. To provide the precision required in industrial design, drawings need to offer the possibility of removing lines, which are hidden in a given projection. OpenCASCADE provides two algorithms for

面向机器学习的自然语言标注.

面向机器学习的自然语言标注 James Pustejovsky & Amber Stubbs 著 邱立坤 金澎 王萌 译 图书在版编目(CIP)数据 面向机器学习的自然语言标注 / (美) 詹姆斯·普斯特若夫斯基(James Pustejovsky),安伯·斯塔布斯(Amber Stubbs)著:邱立坤,金澎,王萌译. -北京:机械工业出版社, 2017.1 (O'Reilly精品图书系列) 书名原文:Natural Language Annotation for Machine Learnin

面向机器学习的自然语言标注2.1 定义目标

确定目标与选择数据 对标注目标进行清晰的定义对于任何一个以应用于机器学习为目的的工程来说都是至关重要的.在设计标签集.撰写指南.与标注人员一起工作以及训练算法时,很容易因为细节而迷失方向以至于忘记最终想要实现的目标是什么.有一个清晰的目标用于引导方向有助于标注工作,本章将讨论为目标创建一个好的定义需要做些什么,以及目标会以怎样的方式影响数据集.具体地,我们将考察: 好的标注目标是什么  哪里可以找到相关研究 数据集如何反映标注目标 为标注人员准备数据 应该为标注人员准备多少数据 本章中你需要对以

《锋利的SQL(第2版)》——1.2 SQL的理论基础

1.2 SQL的理论基础 锋利的SQL(第2版) E. F. Codd博士提出的关系数据库管理系统模型基于两个数学分支:集合理论和谓词逻辑.理解集合理论,对于构建数据库结构,减少数据冗余,保证数据一致性方面具有重要意义.所以,即使你是一个资深的DBA,也建议你重温本节内容. 1.2.1 集合理论 集合理论(集合论)是由数学家Georg Cantor创建的,这是一个基于关系模型的数学分支.Cantor的集合定义如下: 任意集合体M是我们感知或想到的,能够确定的互异对象m(称之为M的元素)的整体.

大数据法治法治的一种新形态

客观上,我们应当正视一个事实,一个大范围生产.共享和应用数据的时代已经来临.大数据已经不再是美好的愿景而是正在发生的智慧实践.2015年,国务院出台的<促进大数据发展行动纲要>就是标志.因此,大数据法治已不完全是一种理论构想,而是正在具有鲜明时代背景的实践命题.大数据法治实质上是量化法治的一个跃升阶段,是法治的一种新形态,是一种智慧型法治.精准型法治.效率型法治. 大数据法治是什么 根据学界对大数据和治理或法治的论述,我们可以对"大数据法治是什么"这一元命题X进行层层分解.

清华等五名校2010自主招生将首次实行联考

昨天,南京大学发布消息,经过近半年的研究和探索,2010年自主招生选拔,上海交通大学.中国科学技术大学.西安交通大学.南京大学.清华大学五所著名高校将首次实行联考. 怎么考试 同时报考两校只需考一次 模式:通用题+特色题+面试 在2010年的自主选拔中,五所高校将在协商确定命题思路和要求的基础上,共同委托专家组完成部分笔试科目的命题和阅卷工作.每名考生可以同时申请五校中的两所.笔试的考点将分布在全国绝大多数省份.如果两所高校的要求都没有达到,考生还可以根据大学的规定用该测试成绩向第三所学校提出申

部分IT巨头投资农业专家称搞农业赚钱仍属伪命题

中广网北京11月5日消息 据中国之声<央广新闻>报道,部分IT巨头投资农业:之前网易丁磊养猪.联想控股成立农业投资事业部,涉及水果.杂粮.酿酒.肉禽等项目,当时人们是否看好?又引起了哪些议论? 前不久,联想总裁柳传志说要"卖水果"了,将投巨资在成都打造生态农业帝国,消息一出,立即引来社会各方议论.或许在不久之后,你在成都就可以买到"联想"牌的苹果了. IT巨头要转战农业,足见其投资背后的吸引力.早在2009年,网易CEO丁磊就宣布要养猪.网易CEO要养猪

奢侈品电商是一个伪命题:货源泥潭中上演饥饿游戏

国内电商平台接连赴美上市,着实鼓舞士气,单从数字上看,奢侈品电商行业超过三成的增幅并不悲观,整体奢侈品销售市场的发展也似乎还有巨大的空间.不过,今年以来出现的尊享网等奢侈品电商倒闭,却让业界不得不冷静下来思考--市场需求没问题,那是经营模式出了问题? 货源问题的致命性被提到了前所未有的高度,得不到奢侈品牌的正式授权,奢侈品电商该如何在消费者和品牌商的夹缝中寻得生存之道? 出局 尊享网之死折射奢侈品电商致命货源尴尬 尊享网倒下了,再也没有爬起来. 这家成立不到3年的奢侈品电商网站,上线1个月就获得

阿黎回归将带来改变,但重振小米是个伪命题

2015年的小米是焦头烂额的一年.在市场和舆论上不利消息太多,几乎所有友商都针对小米主动进攻,见招拆招.小米在拳场上似乎遭遇了一场友商们默契配合的群殴,纵然拳术高超,但由于应接不暇,也备显吃力. 舆论和公关战场上更是如此,背负了五年荣耀的小米走的有些沉重,少了过去快.极致的风采,反而多了几分畏首畏尾.不少媒体人士对此解读称,这是黎万强出走带来的负面影响,有人甚至腹黑地猜起了小米宫斗内幕,所谓黎万强功高震主.雷军送走黎万强等说法一时被圈内广泛谣传. 业内关于"黎万强回归能否振兴小米"的命