下面有请我和我的大脑🧠用朴素的语言为大家概括今晚普逻课程:
从前山上有一处虎穴,虎穴内有虎子。由 “不入虎穴焉得虎子”可推导出 “得虎子必入虎穴”、“不得虎子不一定入虎穴”、“入虎穴不一定得虎子”、“不入虎穴必不得虎子”。他们依次符合有之则必然、无之未必不然、有之未必然、无之必不然的简单逻辑结构。其中有之则必然 无之未必不然可以组成充分条件假言命题,有之未必然 无之必不然可以组成必要条件假言命题,有之则必然 无之必不然可以组成充要条件假言命题。三种结构非常简洁明了,但是我们要注意的是一个假言命题的真假与否取决于p→q中的p、q两个条件的真假与否,而不取决于p、q内容之间的关联性。我们回到虎穴得虎子。在“不入虎穴焉得虎子”一系列推导式中,假如你进入的虎穴里可能根本就没有虎子(你闯了一个空门),但是这并不妨碍你得到虎子(因为你已经闯入了虎穴),闯了空虎穴之后你可以在任意的地方(森林,羊村,米奇妙妙屋等)找虎子,最终你得到了虎子。这一系列操作下来,你闯了虎穴,即便里面没有虎子,你得到了虎子,即便跟虎穴半毛钱关系没有。但是你依旧可以自豪地对外宣称我进入虎穴得到虎子,你也证明了“得虎子必入虎穴”的正确性。此时“不入虎穴焉得虎子”命题变成了奇奇怪怪但又没什么问题的假言命题,你也陷入一个了名叫“蕴涵怪论”的怪圈。紧接着充分条件假言命题 必要条件假言命题 充要条件假言命题,我们推出了第四种:有之未必然 无之未必不然 的废话命题。最后衷心的劝告选了普逻的男学生、选了普逻的女学生、没选普逻的男女学生 ,如果你想要一只老虎幼崽(不管你是买的捉的收到的),恳请先往虎穴内跑一趟,以免造成损失。