晨语书院

手机浏览器扫描二维码访问

第455章 5 命题判断（第1页）

一秒记住【xiaoyanwenxue.com】精彩无弹窗免费！“行走于V家世界（.shg.tw）”！

在哲学、数学、神学、逻辑学、语言学中，命题是指一个判断句的语义，该判断句表达了什么含义，就是该判断句的命题。

命题不是指判断句本身，而是指所表达的语义，不过也可以简单认为命题就是“判断”。

（命题不是判断句本身，但是判断本身。）

当不同的判断句表述的语义相同的时候，这些判断句表达相同的命题。

命题分为真命题的伪命题，与现实相悖的命题为伪命题，与现实相符的命题为真命题。

假设我进行一次命题：

存在语句a，a的语义为：洛晨曦强无敌。

该情况与现实相符，我们可以判断该命题为真命题。

命题又可分为：原命题，逆命题、否命题和逆否命题。

逆命题是指和原命题表意相反的命题，如果以语句a为原命题，那么a的逆命题是：洛晨曦弱有敌。

否命题是指否定原命题的命题，a语句的否命题是：洛晨曦不是强无敌。

逆否命题是指逆命题的否定命题，a语句的逆否命题是：洛晨曦不是弱有敌。

对于“设定”，我们可以认为其是命题的一种表现形式，对于任意作品的设定，在该作品里为真命题，在该作品外为不确定真伪的命题。

除此之外，命题还可分为“经验命题（后验命题）”“先验命题”“超验命题”“……”等等等等。

经验命题和先验命题，经验命题的真值在0到1之间徘徊，先验必然命题真值至少为1，那么存在对应更高级的真值的命题，这些命题都对应更高层级的现实，比如说超验命题，其真值至少为阿列夫0，第四验命题其真值至少为不可达基数，第五验命题其真值至少为终极L。

定义计算器或计数器：

φ（0）=经验命题，φ（1）=先验命题，……

φ（0）=命题，φ（1）=真值命题，……

“设定”就是一种经验命题，设定所设定之物是与现实自洽、所承认之物，因此是一种经验。

经验命题也被叫做逻辑命题，经由精密逻辑定义后所得到的命题，一切逻辑、反逻辑、逆逻辑、隐藏逻辑、不可逻辑、超越逻辑、凌驾逻辑、游离逻辑之外、……等等等等，都是一种逻辑。

这些命题，我们又可对其施展各种盒术（例如焰愿心盒术、标准盒术、……等等等等）、本化、阶层、……等等等等，各种花式叠盒、吹逼操作。

……

论阿列夫第一个不动点有多大——

这里要提一句，虽然经常说阿列夫阿列夫阿列夫……阿列夫阿列夫0就是阿列夫第一个不动点，但阿列夫第一个不动点可不仅仅于此，就好比阿列夫0不单单只有ω，还有可数序数一般，阿列夫第一个不动点也是如此。

（阿列夫第二个不动点和阿列夫第一个不动点的差距要远比阿列夫第一个不动点和阿列夫0的差距还要更为巨大，阿列夫第n+1个不动点和阿列夫第n个不动点的差距要远比阿列夫第n个不动点和阿列夫第n-1个不动点的差距要更为巨大。）

每两个阿列夫不动点之间，都存在着一套“阿列夫谱系”，或者说“阿列夫阶层体系”，这些阿列夫阶层体系要一套比一套巨大。

第一套阿列夫阶层体系如下：

令ω代指阿列夫0，ω+1代指阿列夫1，ω+2代指阿列夫2，……如此类推。

阿列夫阿列夫0就是ω+ω。

阿列夫阿列夫阿列夫……阿列夫0就是ω+ω+ω+……，也可以写作ω×ω。

后面还有ω×ω+1、ω×ω+2、……、ω×ω+ω、ω×ω+ω+1、……、ω×ω+ω+ω、ω×ω+ω+ω+1、……、ω×ω+ω+ω+ω、…………等等等等，最终极限是ω×ω×ω。

ω×ω×ω也可以如此类推，得到ω×ω×ω×ω，接着反复如此类推，得到ω×ω×ω×ω×ω、ω×ω×ω×ω×ω×ω、……等等等等。

最终极限是ω×ω×ω×……ω×ω，可以写作ω^ω！

你看出来了吗？是的，没错，这就是可数序数的那套操作！可数序数该怎么操作就怎么操作。

最牛玉帝系统  哈利波特之Hello黑魔王  兵王之极品老板娘  我觉醒了高达独角兽  尸唐：开局救了长乐公主  五域九天  鸿蒙教皇  魔武机神  都市超级闲汉  你好，我的上官先生  人在盗笔，我妹妹惹不起  他把星星摘给我  快穿之超凶萌宠  宙灵世界  大唐西游之最强网吧  魔王你老婆又重生了  诸天之从吊打五绝开始  龙珠开局：拐走传超布罗利  灵物进化商  斗罗之真君显圣