《离散数学及其应用》第六版1.1练习题第43题的个人分析

题目:在一个100条语句的列表中,第n条语句是“在这个列表中,恰有n条语句为假”..........
     a)从这些语句中得出什么结论
     b) 若第n条语句是”至少有n条语句为家“,结论是什么
     c)假设包含99条语句,回答b

答案网上都有,我是给出自己的分析过程:(思路大概是:如果这句话话为真,推出这句话的内容为真,由这句话的内容又能推出其余话的是不是为真,再根据其余话的内容来判断是不是矛盾。主要就是看这句话为真与这句话的内容为真是不是矛盾。分清这句话和这句话的内容,就明了了)
a)p1,p2,.....p100分别代表这个100条语句。
假设p1为真,根据p1的内容,既然只有1个语句为假了,那后面的99条语句说的全不是只有1个为假,说明后面99条全为假。可既然后面99条全为假了,那说明这个列表有99条为假,但是p1说只有1个为假,条件和结论相矛盾。所以假设不成立,说明p1为假。
同样的方法推断p2。假设p2为真,根据p2内容,后面的98条全是假的了,再算上p1已经为假了,说明列表里有99条为假,与p2内容矛盾。所以假设不成立,说明p2也为假。
同样推断出p3到p98也都是假的。
再看p99,假设p99为真,首先前面98条已经证明为假的了,再根据p99的内容”恰有99条为假“,还差1条,说明p100肯定为假。而从p100的内容”恰有100条语句“来判断,p100也确实为假(因为p99为真的,所以p100的内容是不对的)。这个由条件到结果是不矛盾的。保险起见,再假设p99为假的,因为前面98个已经证明为假了,而p99也假设为假了,现在共有99条假的了,再根据p99的内容,说明p100也必须为假,因为如果p100为真的话,那p99就是真话了。如果p100也为假的话,那说明这个列表全部都为假了,可是这样又到底了p100的内容是真的,条件到结论矛盾。再次证明了p99为真
再看p100,现在已知98都为假,p99为真,p99既然为真,那他的内容就是一个事实”恰有99条为假“,还差1条,只能说明p100为假了,如果p100为假的话,那么p100所陈述的内容就是假的,而事实也确实说明p100的内容为假。
所以最后的结果是:除了p99,其余全为假。
b)这个要反过来推到
先假设p100为真,那p100的内容就是真的”至少有100条假“,因为总共就100条,说明全都为假,可既然100条都是假,那p100也是假的,又矛盾了。表明p100应该为假的。(也可以从另外一个角度证明,p100的内容”至少有100条假“是真的,说明”至少有99条、98条、1条为假“都是真的,前面99条都为真的,那怎么还能至少100条为假呢,矛盾。表明p100为假)
同样方法推断p99,假设p99为真,由p99的内容推断p1到p98都为真,而p1到p98都为真显然是与p99的内容不符合的,矛盾。表明p99为假。
同样推断出p98到p51都为假的。
再看p50,假设p50为真,由p50的内容推断p1到p49也都为真,说明50条为假的语句只能是p51到p100了,而事实上p51到p100也确实都为假,不矛盾。表明p50应该为真。保险期间,我们再假设p50为假,那说明p50的内容”至少50条语句为假“是不对的,可是p51到p100这50条语句已经证明为假了,矛盾。再次表明p50应该为真。
接着看p49,假设p49为真,由p49的内容推断p1到p48都为真,而p51到p100都为假,也论证了p49的内容是没错的,没有矛盾。p49为真
同理推断出p48到p1也都为真。
所以最后的结果是:p1到p50为真,其余为假。
c)同样方法推断出p99到p51为假
推断p50,假设p50为真,由其内容推断出p1到p49都为真,一共99条语句,p1到p49为真,p50也假设为真了,只剩下49条语句根本凑不成50条为假了,所以矛盾,p50为假。可是p50如果为假的,由于p51到p99这49条已经为假了,再加上p50又为假,说明这个列表确实至少有50个为假,这样说明p50的内容是对的,p50应该是真的,再次矛盾。可见无论p50为真还是为假,都矛盾。说明这是个悖论。

逻辑推理:在一个100条语句的列表中,第n条语句是“在这个列表中,恰有n条语句为假”,可以得出什么结论?的更多相关文章

  1. python连接redis、redis字符串操作、hash操作、列表操作、其他通用操作、管道、django中使用redis

    今日内容概要 python连接redis redis字符串操作 redis之hash操作 redis之列表操作 redis其他 通用操作,管道 django中使用redis 内容详细 1.python ...

  2. sql语句(已在Oracle中测试,之后有添加内容放在评论中)

    1增 1.1[创建一张表] create table 表名(列名 类型); 例: ),性别 ),出生日期 date); ),sex ),出生日期 date); 1.2[插入单行]insert [int ...

  3. 查找常用字符(给定仅有小写字母组成的字符串数组 A,返回列表中的每个字符串中都显示的全部字符(包括重复字符)组成的列表。例如,如果一个字符在每个字符串中出现 3 次,但不是 4 次,则需要在最终答案中包含该字符 3 次。)

    给定仅有小写字母组成的字符串数组 A,返回列表中的每个字符串中都显示的全部字符(包括重复字符)组成的列表. 例如,如果一个字符在每个字符串中出现 3 次,但不是 4 次,则需要在最终答案中包含该字符 ...

  4. 关于Winform下DataGridView中实现checkbox全选反选、同步列表项的处理

    近期接手一个winform 项目,虽然之前有.net 的经验,但是对一些控件的用法还不是很熟悉. 这段时间将会记录一些在工作中遇到的坎坷以及对应的解决办法,写出来与大家分享并希望大神提出更好解决方法来 ...

  5. 【mybatis】service层中一个方法中使用mybatis进行数据库的 多个修改操作,可能是update也可能是delete操作,但是sql语句命名执行并且在控制台打印出来了,但是数据库中未更新到数据【事务的问题】

    问题描述: service层中一个方法中使用mybatis进行数据库的 多个修改操作,可能是update也可能是delete操作,但是sql语句命名执行并且在控制台打印出来了,但是数据库中未更新到数据 ...

  6. PHP中的PDO对象操作学习(一)初始化PDO及原始SQL语句操作

    PDO 已经是 PHP 中操作数据库事实上的标准.包括现在的框架和各种类库,都是以 PDO 作为数据库的连接方式.基本上只有我们自己在写简单的测试代码或者小的功能时会使用 mysqli 来操作数据库. ...

  7. C# GetValueList 获得字符串中开始和结束字符串中间得值列表

    /// <summary> /// 获得字符串中开始和结束字符串中间得值列表 /// </summary> /// <param name="styleCont ...

  8. 在Bootstrap开发框架中使用bootstrapTable表格插件和jstree树形列表插件时候,对树列表条件和查询条件的处理

    在我Boostrap框架中,很多地方需要使用bootstrapTable表格插件和jstree树形列表插件来共同构建一个比较常见的查询界面,bootstrapTable表格插件主要用来实现数据的分页和 ...

  9. SQL Server中事务transaction如果没写在try catch中,就算中间语句报错还是会提交

    假如我们数据库中有两张表Person和Book Person表: CREATE TABLE [dbo].[Person]( ,) NOT NULL, ) NULL, ) NULL, [CreateTi ...

随机推荐

  1. php and web service with wsdl

    Following are the links: Developing Web Services Using PHP PHP Web Services with WSDL Creating Web S ...

  2. 在linux下编译netcat并且反弹cmdshell(转载)

    本地Windows监听 nc -vv -l -p 1234   首先从sf上get一个tar的压缩包 wget http://sourceforge.net/projects/netcat/files ...

  3. Codeforces Round #328 (Div. 2) A. PawnChess 暴力

    A. PawnChess Time Limit: 20 Sec Memory Limit: 256 MB 题目连接 http://codeforces.com/contest/592/problem/ ...

  4. delphi Caption 垂直显示标签文本

    //垂直显示标签文本 Label1.Caption:='垂'+#13+'直'+#13+'显'+#13+'示';//使用相同的方法,我们也可以制作垂直显示的提示(Hint):button1.Hint:= ...

  5. myeclipse-10.7-offline-installer-windows安装图解及注意事项

    MyEclipse企业级工作平台(MyEclipseEnterprise Workbench ,简称MyEclipse)是对EclipseIDE的扩展,利用它我们能够在数据库和JavaEE的开发.公布 ...

  6. UVA 1401 - Remember the Word(Trie+DP)

    UVA 1401 - Remember the Word [题目链接] 题意:给定一些单词.和一个长串.问这个长串拆分成已有单词,能拆分成几种方式 思路:Trie,先把单词建成Trie.然后进行dp. ...

  7. Linux中errno使用 - [Linux]

    版权声明:转载时请以超链接形式标明文章原始出处和作者信息及本声明http://www.blogbus.com/wzgyantai-logs/24470871.html 当linux中的C api函数发 ...

  8. Computer Science Theory for the Information Age-3: 高维空间中的高斯分布和随机投影

    高维空间中的高斯分布和随机投影 (一)在高维球体表面产生均匀分布点的方法 我们来考虑一个采样问题,就是怎样在高维单位球体的表面上均匀的采样.首先,考虑二维的情况,就是在球形的周长上采样.我们考虑如下方 ...

  9. cocos2d-x中使用json

    首先去下载JsonCpp这个库,放到项目的Class目录下,再在项目中添加进来. 然后...然后看图... //JsonTestLayer.h #pragma once #include " ...

  10. struts2.1笔记02:servlet简介

    1.     Servlet 是在服务器上运行的小程序.这个词是在 Java applet的环境中创造的,Java applet 是一种当作单独文件跟网页一起发送的小程序,它通常用于在客户端运行,结果 ...