構成
關係項:表示具體對象的概念。用小寫字母表示。關係:表示對象間關係的概念。記為R
關係命題一般式:R(a,b…)
關係的性質有對稱性和傳遞性。
分類
對稱性關係命題對稱性關係命題是指斷定對象之間是否對稱的關係命題
對象之間是否對稱是指:對於兩個特定對象a、b而言,當對象a與對象b之間具有關係R時,對象b與對象a之間是否也具有關係R,即是說對於兩個特定對象a、b而言,當aRb真時,bRa是否也真。基於此,對稱性關係命題可分為正對稱關係命題、非對稱關係命題和反對稱關係命題。
傳遞性關係命題
傳遞性關係命題是指斷定對象之間是否能傳遞的關係命題。對象之間是否能傳遞是指:對於三個或三類(及以上)對象a、b、c而言,當對象a與對象b之間具有關係R,對象b與對象c之間也具有關係R時,對象a與對象c之間是否也具有關係R,即是說對於三個或三類對象a、b、c而言,當aRb真,bRc真時,aRc是否也真。基於此,傳遞性關係命題可分為正傳遞關係命題、非傳遞關係命題和反傳遞關係命題
推理
關係命題推理是以關係命題作前提,並且根據關係命題的邏輯特徵推出一個新的關係命題作結論的推理。關係命題推理是一種簡單命題推理。