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