《离散数学及其应用》第六版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. 使用charles 抓包

    1.保证手机和Mac连接的是同一个无线局域网 2.在Mac上打开Charles Proxy,菜单栏操作:Proxy→Proxy Setting,检查端口,一般保持默认,HTTP Proxy端口为888 ...

  2. 【转】Dijkstra算法(单源最短路径)

    原文:http://www.cnblogs.com/dolphin0520/archive/2011/08/26/2155202.html 单源最短路径问题,即在图中求出给定顶点到其它任一顶点的最短路 ...

  3. Codeforces Round #Pi (Div. 2) E. President and Roads tarjan+最短路

    E. President and RoadsTime Limit: 20 Sec Memory Limit: 256 MB 题目连接 http://codeforces.com/contest/567 ...

  4. HDU 1999 不可摸数

    /* 中文题意: 中文翻译: 题目大意:见红字(例如以下) 解题思路:打表,将每一个数的合数之和存在一个数组之中 难点具体解释:用两个for循环写的,第二个for循环主要是解释两个数相乘不超过这个最大 ...

  5. Tomcat7集群扩展session集中管理,tomcat-redis-session-manager使用

    请参考官方文档 下载所需的包了: tomcat-redis-session-manager-1.1.jar jedis-2.1.0.jar commons-pool-1.6.jar 将这些jar包都丢 ...

  6. [Angular 2] Understanding OpaqueToken

    When using provider string tokens, there’s a chance they collide with other third-party tokens. Angu ...

  7. HttpClient post json

    public static JSONObject post(String url,JSONObject json){ HttpClient client = new DefaultHttpClient ...

  8. 几种流行Webservice框架性能对照

     转自[http://blog.csdn.net/thunder4393/article/details/5787121],写的非常好,以收藏. 1      摘要 开发webservice应用程序中 ...

  9. Python Generators(生成器)--yield

    参考:http://blog.csdn.net/scelong/article/details/6969276 Python生成器 什么是python生成器,意思是带有一个yield语句的函数,既然它 ...

  10. 关于dispatchTouchEvent, onInterceptTouchEvent, onTouchEvent的分发机制浅析

    虽说这个问题不是很难...动动手就能看出答案...但是似乎不太容易理解...几次尝试把这个问题说明白....但是好像感觉说不明白....(顿时想起了那句话----说不明白就是自己还不明白! 我怎么可能 ...