离散数学命题逻辑之p->q

      所有的命题都是一种假设，是一种经验式的或者需要验证。并不是天然就有对错。哪怕复合命题中不相干的两个（超思维），经过经验（不可能验证）发生了对应命题的陈述，也是逻辑的真，是逻辑的胜利。
例子：命题：如果宇宙比我心大，那么天空就是蓝色的。  分析：p：宇宙比我心大，q：天空是蓝色的。p，q内容上看并不相关，如果没有任何经验和论证可以证明这个命题，命题就是无意义的。但是一般我们都会找到命题的值，因为大多数提出的命题是经验的或者可证明的。p我们经验知道是对的，q也是对的，p->q据逻辑推理是对的，所以该命题是对的。
      内容上并不符合我们的认知，但是逻辑上胜利了。

重点
1、需要经验或者验证
2、推理无关内容

 

一种境况：

        背景：十层楼上，一个在商场偷包的贼被发现后，让众人堵到阳台边，表示有人再向前就跳鸟，众人止步，警察来了，派来一个经常推理失败的没有业务的侦探来说服小偷。

        小偷：如果你再过来，我就跳楼了！
        侦探（嘬完最后一口大前门，礼好上衣领，慢慢道）：你这句话是个命题，所有的命题都是一种假设，是一种经验式的或者需要验证。并不是天然就有对错。哪怕复合命题中不相干的两个（超思维），经过经验（当然不可能验证）发生了对应命题的陈述，也是逻辑的真，是逻辑的胜利。
我们可以这样分析：p表示我再过去，q表示你要跳楼。p，q内容上看并不相关，如果没有任何经验和论证可以证明这个命题，命题就是无意义的。这个命题我们没法从前推倒后来说明后者的正确性，所以不属于证明类，但是一般我们都会找到命题的值，因为这个命题是可以未来经验的。现在就让我们一同来验证这句话吧，我马上就过去，你一定要跳，你一跳，p，q都真啦，p->q据逻辑推理是对的，所以该命题是对的。
但是你一定要记住这不是你说话内容的胜利，而是逻辑的胜利，我来了。。。。

        小偷惨叫一声，昏了过去。。。