主题：【原创】下棋与打仗——也谈形式逻辑与因明逻辑 -- 语迟

阿拉哥王和穆罕默德两个人自觉肚里墨水太少,经常胡说八道,

一直为此被朋友讥笑,决定一起去读大学.

经过一番努力,终于都考进了一家知名大学,阿拉哥王不知道选什么课好,就去问指导教授,穆罕默德在外面等他.

见到了教授,阿拉哥王提出了问题,老教授对阿拉哥王上下打量了一番,说:"我建议你先选修数学,历史,和逻辑这三门课".

"数学和历史我知道,可是逻辑是讲什么的?",阿拉哥王问.

"我举个例子:请问你自己有没有割草机?"教授很和气地讲.

"有啊."

"那么,我就可以推论,既然你有割草机,你就一定有一块草坪 ",

教授说.

"对,我家确实有一块草坪",阿拉哥王回答道 .

"如果你有草坪,逻辑告诉我,你就一定有一套房子",教授继续道.

"一点不错!"阿拉哥王感到十分惊奇.

"你买了一套带草坪的房子,我认为,你一定是为了打算结婚才这么做的."教授断定.

"妙极了,我才结的婚."

"要是你结婚了,你一定有个妻子."教授继续做逻辑推理.

"是啊,我很爱我的妻子."阿拉哥王回答.

"如果你有妻子的话,根据逻辑,你一定是个异性恋(heterosextual)"教授得出结论.

"这太妙了,我一定要学逻辑,请问什么时候可以开始上课?"阿拉哥王迫不及待地询问.

碰到穆罕默德,阿拉哥王第一句话就说,"我要去学逻辑!"

"这逻辑是什么玩艺?" 穆罕默德抓了抓头皮,问道.

"是这样的,比如,嗯...请问你有没有割草机?"阿拉哥王问穆罕默德.

"没有!"穆罕默德答道.

话音未落,只看阿拉哥王已抱头狂奔,一边大叫"碰到变态啦......同性恋啊"