将本站设为首页
收藏文坛官网,记住:www.1went.net
账号:
密码:

文坛书院:看啥都有、更新最快

文坛书院:www.1went.net

如果你觉得好,恳请收藏

您当前的位置:文坛书院 -> 临高启明 -> 三百三十四节 真或假

三百三十四节 真或假

温馨提示:如果本章属于内容错误等情况,请点击下面的按钮发送报告,我们会在一分钟内纠正,谢谢

  “复合命题由一个或多个简单命题合成,那么其合成的方式,我们称之为‘联结词’。比如,‘这张卡片不是奴隶’,‘这张卡片是16岁以上的男人’,‘这张卡片是原籍福建或海南的人’,这是三个复合命题。”

“第一个命题,是对‘这张卡片是奴隶’这一简单命题的一种否定,合成方式是‘非’;第二个命题,由‘这张卡片是16岁以上的人’和‘这张卡片是男性’两个简单命题构成,合成方式是‘与’,也就是两个简单命题同时为‘真’时,复合命题为‘真’;而第三个命题,由‘这张卡片是原籍福建的人’和‘这张卡片是原籍海南的人’两个简单命题构成,合成方式是‘或’,也就是两个简单命题中的任意一个为‘真’时,复合命题为‘真’。”

“所以,我们有了联结多个命题使之成为更大命题的三种手段,与,或,非。其实还有另外两种,不过暂时与分类机的设计无关,这里先略过。”

“我们用符号来表示命题和联结词,则任何一项查询,都能表示为一个表达式。显然,令表达式为‘真’的卡片,就是我们要寻找的卡片。而分类机的作用,就是对所有卡片,判断这个表达式是否为‘真’。”

“因此,凡是我们的分类机能够判断‘真/假’的表达式,就是我们能够解决的问题,凡是我们的分类机无法判断真假的表达式,就是我们不能解决的问题。”

“这就是我们对这一问题的初步抽象。”

冯诺在黑板上写下了几个奇怪的符号v(或)、∧(与)、┐(非),看起来像是旋转了90度的大于号和小于号,还有倒过来的拉丁字母l。

“好,现在可以写一下

‘原籍福建或海南的人’这一命题的表达式了,海南是100,福建是122,所以我们令

命题a:‘地区码第1位为1’,

命题b:‘地区码第2位为0’,

命题c:‘地区码第3位为0’,

命题d:‘地区码第2位为2’,

命题e:‘地区码第3位为2’,

则,复合命题的表达式为:‘(a∧b∧c)v(a∧d∧e)’。”

“我们的分类机是如何判断真假的呢?是通过检验穿孔卡是否穿孔,也就是说,分类机的每个读卡单元,能够判断复合命题中的一个简单命题的真假。同时,通过一个控制继电器,我们可以让每个读卡单元,判断仅有1个‘非’联结词的复合命题,也就是一个简单命题的非


  本章未完,请点击下一页继续阅读!
上一页 1234下一页

看了《临高启明》的书友还喜欢看

接通未来电话后,我赚了几百亿
作者:滤穗
简介: 顾满做过许多白日梦,都没想到她会找到一个未来500年的合伙人。

...
更新时间:2025-03-16 08:31:00
最新章节:第127章 联系阮怀远
快穿之咸鱼她躺赢了
作者:林喵喵
简介: 琳琅是一个时空旅行者,喜欢到各个时空吃吃喝喝玩玩乐乐,偶尔也会完成借给她身体的人的愿...
更新时间:2025-03-16 08:00:00
最新章节:第1253章 能量世界23
二嫁病娇王爷,侯门嫡女她赢麻了
作者:梦初心
简介: 上一世宋念戎是个恋爱脑,给渣男做了半辈子的舔狗,舔到最后家破人亡。

更新时间:2025-03-16 08:48:04
最新章节:第一卷 第118章 让他拉着手
空间通末世,我带飞全家很合理吧
作者:祈陆
简介: 【现代通末世+囤物资+团宠+暴富】池晚的空间里,有一天突然出现了一只男人的手。
更新时间:2025-03-16 08:00:00
最新章节:第一百四十五章 新的生命
掌门师伯新收了个女徒弟
作者:三行的书哟
简介: 【宗门、轻松、日常、爆笑、夺笋】掌教师伯新收了一个女徒弟。她很漂亮,让无数人为之神往...
更新时间:2025-03-16 08:00:00
最新章节:第233章 司空焱的词条备注(6k)
同时穿越:从回归主神空间开始
作者:气荡寰宇
简介: 一道彩色的雷霆落下,让吴羡穿越到《无限恐怖》的世界,还成为了与张杰同期进入的新人轮回...
更新时间:2025-03-16 08:02:00
最新章节:第210章 他化自在,寰宇熵灭(雪中完结!)