6. 論元結構推理
6.1 背景知識
「論元結構推理」(Argument Structure Inference)泛指對量詞或其論元進行各種操作(包括各種布爾運算和易位等)而得的推理，這種推理對應於古典邏輯中的「結構變換推理」(亦稱「變形推理」)(Immediate Inference)。古典邏輯研究三種「結構變換」：「換質法」(Obversion)、「換位法」(Conversion)和「換質位法」(Contraposition)。由於「換質位法」是前兩種變換的結合，這裡只擬介紹前兩種變換。
