《离散数学及其应用》第六版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. ADO.NET 快速入门(七):使用数据库事务

    数据库事务用于控制数据提交到数据库.例如,在标准的账户程序,账户的借贷必须同时完成.由于电脑偶尔发生故障(电力中断.网络中断,等等),可能有些记录被更新或者添加,但是另外一些没有.为了避免这些情况,可 ...

  2. SqlServer教程:经典SQL语句集锦

    SQL分类: DDL—数据定义语言(CREATE,ALTER,DROP,DECLARE) DML—数据操纵语言(SELECT,DELETE,UPDATE,INSERT) DCL—数据控制语言(GRAN ...

  3. python selenium自动化(三)Chrome Webdriver的兼容

    当一个自动化测试被实现在一个浏览器之后,我们会希望我们的测试能够覆盖到尽量多的别的浏览器.通过跨平台的测试来保证我们的程序在多个浏览器下都能正常工作. 在安装了selenium之后,firefox w ...

  4. mybatis0212 mybatis逆向工程 (MyBatis Generator)

    1mybatis逆向工程 (MyBatis Generator) .1什么是mybatis的逆向工程 mybatis官方为了提高开发效率,提高自动对单表生成sql,包括生成 :mapper.xml.m ...

  5. oracle 基本操作

    1. 开启oralce和监听#su - oracle$sqlplus / as sysdba>startup>exit$lsnrctl start$ps -ef|grep oracle 一 ...

  6. MySQL_前缀索引_建立

    -- 查看出现频率select count(*) as cnt,cityfrom sakila.city_demo group by city order by cnt desc limit 10; ...

  7. CentOS中TFTP配置

    转载:http://www.centoscn.com/image-text/config/2013/1105/2062.html TFTP是用来下载远程文件的最简单网络协议,它其于UDP协议而实现 1 ...

  8. 杂乱无章之Oracle(一)

    1. 设置共享池大小 SQL>ALTER  SYSTEM  SET  SHARED_POOL_SIZE=32M; 2. 数据库高速缓冲区(database  buffer  cache):SQL ...

  9. Java基础知识强化103:Java常量池理解与总结

    一.相关概念 1. 什么是常量 用final修饰的成员变量表示常量,值一旦给定就无法改变! final修饰的变量有三种:静态变量.实例变量和局部变量,分别表示三种类型的常量. 2. Class文件中的 ...

  10. 1. Android 系统上一款开源的图表库

    1. MPAndroidChart  MPAndroidChart 是 Android 系统上一款开源的图表库.目前提供线图和饼图,支持选择.缩放和拖放. 一个可以拖动缩放的图表库,包含曲线图.直方图 ...