摘要：本文介紹一種推導(dǎo)有效關(guān)系三段論格式的方法,這種方法建基于廣義量詞理論和命題邏輯的一些基本原理,包括代入法、演繹定理、前提代換、引入存在假設(shè)、等價(jià)變換等。本文顯示利用此方法,不僅可推導(dǎo)包含經(jīng)典量詞的關(guān)系三段論,還可推導(dǎo)出包含非經(jīng)典量詞(例如數(shù)值量詞、比例量詞、模糊量詞)的關(guān)系三段論。除了討論包含一般二元謂詞的關(guān)系三段論外,本文也討論了包含比較形容詞的關(guān)系三段論,同時(shí)也證明了上述方法的有效性,并討論了進(jìn)一步研究的方向。