正在阅读《第五次 条件推论》
第(2/6)页


“对于一个纯形式演算系统之解释问题,在现代逻辑里,是一个非常麻烦的问题,直到目前为止,现代逻辑学家们,或语意学家们,未能下个界说。……不过,这是顶层问题,这个顶层问题主要是一理论问题。顶层的理论问题没有妥善解决,对于我们现在所进行的讨论没有相干,因为,我们现在所进行的讨论,是实际上如何解释的问题。从这一方面着眼,我们可以不太严格地说,对于逻辑形式套上一组表示经验内容的语句,叫作该逻辑形式之解释。上面所举的逻辑形式‘P ? q’,我们可以给予种种解释。例如,‘如果探险队到达喜马拉雅山的最高峰,那么便可得奖’、‘如果你刻苦用功,那么你会成功’、‘如果她行为失检,便会声名扫地’……

“我们已经在前面说过,在通常情形之下,每一语句不是真的,便是假的。语句之真假,现代逻辑家叫作真值(truth-value)。当着只有一个语句,比如说P时,它的真假值很容易看出,即P是真的,或者P是假的。在现代逻辑中,表示真与假都有记号,如果P是真的,我们简单地写作P,这好像普通代数式前面第一个‘a’如系‘正a’,我们就径直写作‘a’而不写作‘+a’一样。如果P是假的我们就这样写。”吴先生拿起铅笔在纸上画着:

~P

“另外,为了便于一目了然起见,现代逻辑家常列一个表格来表示语句的真值。”吴先生说,“在这种表格中,真就写作T,T系取True字的第一个字母;假就写作F,F系取False的第一个字母。依照这种记号法,一个语句P的真值可以用表格这样表示出来。”他又画在纸上:

“我们要会读这个表格,”老教授说道,“我们先直着看两行。P底下有TF两个字母,这表示P有真和假两个真值。~P底下有FT两个字母,这也表示非P也有两个真值,即假、真。明白了这些,我们再横着看。第1行表示:如果P是T,即真的,那么非P便是F,即假的。这是一定的道理。是不是?如果P是一真语的,则与它相反的语句之反面必然也是真的。因为,反反得正,即反面的反面是正面。第2行表示:如果P是F,即假的,那么非P是T,即真的。这也是一定的道理。如果P是假的,则非P一定真。”

“假若有P、q,两个语句,它们的真值怎样排列?”周文璞问。

“请别性急,我们一步一步来好了。”老教授说,“如果我们拿‘健’与‘美’这两种性质来形容女性,那么可能的排列,我们可以写出来。”

1.既美且健

2.美而不健

3.不美而健

4.既不美又不健

“好莱坞有许多明星既美且健,是不是?例如苏珊·海沃德(SusanHayward)就是其中之一。美而不健,林黛玉是也!许多尼格罗妇人,恐怕是健而不美吧!既不美又不健的女士也有的是。看看美与健的这种排列,我们可以构思,如果有P和q两个语句,那么二者真假的可能排列有:

Pq

“我们看这里的排列,”老教授指着纸上写的道,“就可以知道,P和q两个语句,二者的真假可能排列不能少于四个,也不能多于四个,不多不少,刚好是四个。第一是P和q二者都真;第二是P真而q假;第三是P假而q真;第四是P和q两者皆假。P和q的这种真假可能排列,与上述美与健的可能排列是一一相当的吧!因我们了解美与健的可能排列,就可了解P和q的真假可能排列。假如我们所取的语句有P、q、R三个呢?那么它们的真假可能排列自然有八:

PqR

“在理论上,我们所取的语句可以有n个之多。每一语句既经假定有真假二值,于是n个语句的真假值就有2n。所以,n个语句的真假可能排列概依2n的公式来计算。……不过,在实际上,我们所取的语句,通常是三个或四个,多于此数就不方便。

相关小说

捡漏 都市 / 完结
捡漏
山高水流
“周大师,您看这尊西周青铜兽面纹酒樽怎么样?”“水货。”“周先生,那您瞅瞅这座唐宋时期佛经警世钟如何?”“赝品。”“周爷,这枚汉武帝亲篆飞血连天印章……”“臆造品。”重重包围之下,一个年龄约莫二十来岁的青年惜字如金,却说的周围人无不截然色变。“呔,周...
200万字 7 小时前
女扮男装混现代,将军风靡全世界 都市 / 完结
女扮男装混现代,将军风靡全世界
开夜荷
尚元女将连翊遭皇帝暗算,惨死沙场,一朝睁眼,成了人人可欺的朱家“养子”?谁敢惹她,她反手抽的他皮开肉绽!说她是乡下来的土包子,她用一个月时间掌握现代各种学识,天才之名响彻京都!说她巴结穆家,她转身成了珠宝商界的大佬,一身奇术鉴别天下宝!不过最近怎么在京都看到了几张熟悉的面孔?她的阿爹、阿娘,还有两位兄长,甚至就连那
50.5万字 7 小时前
快穿攻略:黑化BOSS,请淡定 科幻 / 完结
快穿攻略:黑化BOSS,请淡定
落叶成孤
【甜宠1v1。虐渣攻略,两不误,欢迎入坑!】猫筱筱意外契约系统,穿越大千世界攻略黑化boss。自从绑定系统之后,她走上了一条不归路。不但输了人,还丢了心......?新书发布!#大佬的戏精夫人成了顶流#敲甜巨宠,记得支持我喔~
255.36万字 4 小时前
情感轨迹录 都市 / 完结
情感轨迹录
家奴
情感轨迹录:岁月流转,情深似海一段段细腻描绘情感起伏变化的轨迹录,它记录了时间流逝中,每个人内心深处的波澜与沉淀。每一个故事,都是一颗心灵的独白,是爱与被爱、失去与重逢的深刻写照。在这里,你会看到情感的萌芽、绽放、凋零与重生,仿佛一幅幅动人的画卷,在岁月的长河中缓缓展开。这些故事,有的温暖如初阳,有的深沉似夜空,有
377.41万字 3 小时前
末世之孤城 科幻 / 完结
末世之孤城
易水连天
系统:宿主非符合人选。乔宇辰:那你找别人去吧。弱渣乔宇辰从备胎一跃成为主角,从榆阳城中唯一的人类成为这个超级城市的守护者。九星觉醒者?滚蛋,是龙你在这要盘着,是虎你就像个猫咪一样蹲着。丧尸潮?异兽潮?异种潮?管你什么潮!来了你们就留下吧!曙光之城,看乔宇辰打造人类最坚固的幸存者基地。
149.58万字 4 小时前
逆袭直播系统:炮灰修仙成神路 其他 / 完结
逆袭直播系统:炮灰修仙成神路
卡河
这是一只狐狸与一个人的故事。推荐新文《病娇大佬的白月光》文案:林萝死后,胡莱因为杀人未遂进了监狱,林焱也开始了新的生活。林尚暖无意间发现一本日记,上面记载着林萝曾经的过去,以及一段无疾而终的白色暗恋。还有……关于她对于她的调查。——原来。对于林萝而言。她是帕罗西丁,少量治愈,多则丧命!【全文采用倒叙与插叙的结构讲述
145万字 4 小时前