演繹與邏輯邊界：言語推理練習指南

把給定規則當作本題前提

邏輯題採用前提明確的小型虛構系統，問每個滿足前提的情形都推出什麼。某允許情形恰好為真不等於必然推出。未確定可指存在真和假的允許情形，不同於證明結論必假。

假設每張藍證都開門，某證開門，不能確定它藍色，因為沒說只有藍證開門。藍證與另一種合格證都可能符合。反之，在每張藍證開門且某證不開門的題定條件下，該證不能是藍證。

至少一個帶標記橙牌不等於所有標記牌都橙色。若所有橙牌在某櫃，只保證該櫃有標記牌，不描述其餘牌。恰好一個亮排除全滅和全亮。順序保持先於方向和題定無並列；別引入與虛構前提矛盾的現例項外。

對誘人結論嘗試造一個前提全真而結論假的小情形，逐條核前提。違背前提的不是反例。極小排序可列出全部順序，劃掉違反關係者。這樣把必然性展開，而不是憑句子聽起來合理。

本版對形式題編碼列舉有限真值賦值或排列，核的是編碼後的推論，不獨立證明每個自然語言句子與編碼完全一致。其餘詞義、類比、短文仍靠作者語義核對。沒有常模、智商換算、招聘線或速度分。讀解析後應用新前提練，不把記憶當總體推理能力證據。

自擬前提：每個帶三角標記的盒子都在架子S上；盒子K在S上。情形一讓K有三角標記，情形二讓K沒有標記，兩者都可滿足前提。因此“在S上”不能確定K是否有三角標記。再把第二條改成K不在S上；此時若K有三角標記就違反第一條，所以K不能有該標記。逐條核前提，這不是現實收納規則或新計分題。

畫一個只有兩三個物件的小情形，逐條勾選題設，再問結論能否為假。若先違背題設，它不能反駁題內的必然推論。找不到反例也不自動等於完成證明；可以列全一個明確有限的小系統，或暫記未核完。形式檢查說明給定規則下的後果，不證明自然語言表述已獨立驗證，也不換算智商。

可以問：“如果所有三角標記盒都在S上，而K也在S上，能否各畫一個K有標記與沒標記、又都符合規則的情形？”各自給出依據或一個允許情形，再對照題定關係。可只看、查資料、換例子或不回答，無需比賽、計時或當眾展示作答。

可分享不含個人答卷與正確數的公開指南。四組是複習主題，不是智力型別、語言等級或招聘標準；不要求同伴披露錯題、學習困難、私人文字或成績。核對詞義和有限推論不等於心理測量驗證。