為了慶祝新作完成,我來說一個過氣梗的笑話吧。
有寫推理小說,或是對推理有興趣的人,應該都有聽過「演繹推理」這個名詞。
現在我要示範演繹推理中,常用的一個基本論證公式——
輸入律:p → (q → r) ├ (p ∧ q) → r
簡單說明一下這個公式:
假如p的存在,那麼當q是事實的時候,可以推論r也是事實。
然而因為p和q是對的,所以論證r的存在。
以下帶入公式:
「p」是哈密瓜,所以哈密瓜有哈味「q」。
由此可以推論海犬有一種海味「r」。
要如何證明海犬有海味?
因為哈密瓜「p」有哈味「q」,所以海犬就有海味「r」。
既然得出論證,那麼跌入田裡的海犬就是——
田園海未