邏輯能推斷出什麼

阿拉哥王和穆罕默德兩個人自覺肚裡墨水太少,經常胡說八道,一直為此被朋友譏笑,決定一起去讀大學.

經過一番努力,終於都考進了一家知名大學,阿拉哥王不知道選什麼課好,就去問指導教授,穆罕默德在外面等他.

見到了教授,阿拉哥王提出了問題,老教授對阿拉哥王上下打量了
一番,說:"我建議你先選修數學,歷史,和邏輯這三門課".

"數學和歷史我知道,可是邏輯是講什麼的?",阿拉哥王問.

"我舉個例子:請問你自己有沒有割草機?"教授很和氣地講.

"有啊."

"那麼,我就可以推論,既然你有割草機,你就一定有一塊草坪 ",教授說.

"對,我家確實有一塊草坪",阿拉哥王回答道 .

"如果你有草坪,邏輯告訴我,你就一定有一套房子",教授繼續道.

"一點不錯!"阿拉哥王感到十分驚奇.

"你買了一套帶草坪的房子,我認為,你一定是為了打算結婚才這麼做的."教授斷定.

"妙極了,我才結的婚."

"要是你結婚了,你一定有個妻子."教授繼續做邏輯推理.

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

"如果你有妻子的話,根據邏輯,你一定是個異性戀(heterosextual)"教授得出結論.

"這太妙了,我一定要學邏輯,請問什麼時候可以開始上課?"阿拉哥王迫不及待地詢問.

碰到穆罕默德,阿拉哥王第一句話就說,"我要去學邏輯!"

"這邏輯是什麼玩藝?" 穆罕默德抓了抓頭皮,問道.

"是這樣的,比如,嗯...請問你有沒有割草機?"阿拉哥王問穆罕默德.

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

話音未落,只看阿拉哥王已抱頭狂奔,一邊大叫"碰到變態啦......同性戀啊