LESSON２ 交叉結與謂詞邏輯（6/8）
戀與禁忌的述語論理 全一冊
這位不知身在何處也不知是何許人物的少女，現在超越了時間與空間來為我們這堂課充當助教。謝謝你，過去的小桶堀。
「如你所見，小樋堀是會給屬於自己的東西寫上名字的女孩。那麼此處，我們有一台寫著小樋堀名字的刨冰機。這台刨冰機到底是誰的東西呢？」
「……真是拐彎抹角的說法呢。這不擺明了就是小樋堀的東西嗎？」
「正是如此。那麼現在我們來將這個事實用命題邏輯的方式表達出來。」
硯小姐在筆記本上用漂亮的小字寫著些什麼。
如果刨冰機上寫著「樋堀」的名字，那麼刨冰機是樋堀的東西。
「就像這個樣子。那麼，假如小樋堀是個一絲不苟的孩子，就會給自己所有的東西上標記名字。無論是教科書、鉛筆盒、玩具娃娃還是下午茶的布丁，全都會寫上名字。如果將上述內容全部以命題邏輯的形式表達——」
如果教科書上寫著「樋堀」的名字，那麼教科書是樋堀的東西。
如果鉛筆盒上寫著「樋堀」的名字，那麼鉛筆盒是樋堀的東西。
如果玩具娃娃上寫著「樋堀」的名字，那麼玩具娃娃是樋堀的東西。
如果布丁上寫著「樋堀」的名字，那麼布丁是樋堀的東西。
「……還要接著寫嗎？
「別寫了，我看『樋堀』兩個字都快要看成完形崩壞了。」
「道理就是這樣的。命題邏輯在表達事物時會產生這樣的問題。命題邏輯需要將命題寫作一個一個的名詞，記述這種狀態的辭彙量會變得無比龐大。
所謂命題邏輯的界限。我們在此擴充一下這個邏輯吧。再上一個階段，提升一下這個邏輯的抽象度吧。
詠彥，請你再仔細讀一遍這裡的文句。如果除去『教科書』、『鉛筆盒』、『玩具娃娃』、『布丁』這些名詞的話，每個句子還有成分是相同的吧？那麼如果我們將名字部分置換成X——」
如果X上寫著「樋堀」的名字，那麼X是樋堀的東西。
四個句子將被匯總為一句話。
「——就寫成這樣了。如此這般，將分別的名詞置換為X的邏輯就叫做謂詞邏輯。」
硯小姐繼續轉起了筆。
如果問題是這個，我還是答得上來的。
我腦海中浮現出一個巨大的問號。
如果X寫著Y的名字，那麼X是Y的東西
「從邏輯學的觀點上來看，中尊寺小姐沒有直接證明『被害者沒有系領帶』這個命題，而是證明了它的換質命題『系著領的不是被害者』。」
簡直如同無知的愛麗絲誤闖仙境而遭逢了奇怪的白兔子那樣。
硯小姐清了清嗓子問道：
面對硯小姐的問題，我勉強地點了點頭換
「將作為主語和賓語的名詞置換掉，剩下的只有謂語（謂詞）。
這兩句話雖然以不同的方式呈……（內容加載失敗！請重載或更換瀏覽器）