懒得翻原贴了
当时我无法区分 形式律 与 通过形式律描述的现实（或也许应该反过来讲，通过某种现实得到意义的形式律）。考虑到数理逻辑得到发展的一大目的是严格描述所谓的数学推理，这个问题可以这么理解：

比方说考虑命题

若Y在紧集X内是闭的，则Y是紧的

在常规数学推理中这被认为是个正确的命题，因此我们希望这个命题在这套逻辑下是正确的，那么它对应的蕴含关系，即

Y在紧集X内是闭的   ⟹  \implies Y是紧的

就应该对所有可能的拓扑空间X、Y而言都是正确的
现在有四种情况（它们代表了所有可能情景，即X紧/不紧，Y闭/不闭）：
1.X是单位区间，Y是任意子闭区间
2.X是单位区间，Y=(0,1)(0,1)
3.X=(0,1)(0,1)，Y=[13,23][\frac{1}{3},\frac{2}{3}]
4.X=(0,1)(0,1)，Y=(13,23)(\frac{1}{3},\frac{2}{3})
如果把他们代入到前件与后件中，则分别为
1.当X是单位区间，Y是X的子闭区间时，前件为真，后件为真
2.当X是单位区间，Y=(0,1)(0,1)时，前件为假，后件为假
3.当X=(0,1)(0,1)，Y=[13,23][\frac{1}{3},\frac{2}{3}]时，前件为假，后件为真
4.当X=(0,1)(0,1)，Y=(13,23)(\frac{1}{3},\frac{2}{3})时，前件为假，后件为假
由于所有这些命题都符合我们的直觉（故而在某种意义上正确），因此这里涉及到的三种情形（前件后件皆真与前件假后件任意）都应该对应 真 的蕴含关系，因此真值表的选取与直觉一致，这就解释了标题

积分: 4
25 天 后