有名大学教授刚下飞机搬到新家，正在向隔壁的邻居Ａ打招呼。
教授：“您好，我是一名大学教授，在教逻辑推理，我刚搬到你旁边，请多指教。”
邻居Ａ：“您好您好！逻辑推理...那是什么？”
教授：“嗯...我举个例子好了，根据常识判断，只要下雨，就可以推论路面会湿。”
邻居Ａ：“没错。”
教授：“根据基础逻辑中的推论，该命题的否逆命题也该是正确的，也就是‘地板没
湿’可以推论到‘刚刚没下雨’，所以这边的路面是干的，代表刚刚并没有
下雨。” ( p->q => ~q->~p )
邻居Ａ：“可是 https://youtu.be/iQ6VMbu7g-I ”
教授：“呃...好吧，那很明显的，我们现在正在屋子外面谈话。”
邻居Ａ：“是的。”
教授：“根据基础逻辑，有所谓的"恒真句"，简单说就是‘我们现在在屋外讲话，要
不然就是在屋内讲话’，这句话一定会是正确的。” ( p v ~p )
邻居Ａ：“可是 https://tinyurl.com/y3olp6hl”
教授：“哎...算了，反正你要知道逻辑推理可以解释所有东西就好了。”
邻居Ａ：“可是 https://tinyurl.com/yyxax98p”
．
．
．
．
．
．
教授：“ＯＫ，Fine。”