蕴含命题遇到的疑惑和解答

很多逻辑学初学者学习命题逻辑时，都有疑惑。有的初学者甚至不知道疑惑在哪里。我写这篇文章的目的就是带领大家拨开这片迷雾见真知。

先上蕴含命题的真值表

你朋友对你说：如果天下雨，那么地面潮湿
如果…那么…，这个是蕴含命题。你想应用一下真值表，于是设其为命题A
1号，天下雨，地面潮湿。命题A为真。
2号，天下雨，地面不潮湿。哈哈，朋友你说错了，命题A为假。
3号，天不下雨，地面潮湿。命题A好像无法确定？甚至不知道有没有意义。
4号，天不下雨，地面不潮湿。同样的，命题A好像无法确定？？
于是，你疑惑了，3、4号明明无法确定，为什么真值表能判断出来！而且都还是为真？！

很好，认识到了疑惑，你已经前进了一大步。
这种疑惑很多人都有，学术界就将其命名为“实质蕴含怪论”。
实质蕴涵是为了区分严格蕴含。。它们的区别是，严格蕴含的前件和后件的内容是有联系的。实质蕴含没有，但形式逻辑，是不关心内容的，实质蕴涵还是有存在的必要的。

回到正题，3、4号这些情况，有没有意义呢？有意义，结论为什么为真？
先回答后面的问题，3、4号为什么为真？
论证：
论题：前提是荒谬的，结论再荒谬（不管真假），蕴含命题推论都是成立的。
论据：题设和已知都可以作为前提。
论证方法：如果题设是假前提，那么假前提+已知真前提=矛盾
说明一下，假前提+真前提都作为前提，这是荒谬的，有种违反排中律的味道（像在辩论时，辩题两边你都要）。这种情况，岂不是你想怎样就怎样？那有什么后件你推不出来的呢？
所以，3、4号时，蕴含命题为真。

有没有意义？罗素说是有的，实质蕴含是罗素提出来的。
其实，在数学里面或在日常生活的大多推理里面，根据实质蕴涵确定的推理就够用了，不会出错。
体测过了就行了，你跑得再快也没有什么。