合取結合律

合取結合律( associative law of conjunction)命題演算的定理。可用符號“p∧(q∧r)→(pAq)Ar\"“(pAq)Ar→p∧(q∧r)”表示。意為:當把三個命題變項p、q、r用合取A聯合起來,通過不同的聯結方式所得的不同公式,其真值是相同的。

相關詞條

熱門詞條

聯絡我們