合取结合律

合取结合律（ associative law of conjunction）命题演算的定理。合取结合律（ associative law of conjunction）命题演算的定理。可用符号“p∧（q∧r）→（pAq）Ar\"“（pAq）Ar→p∧（q∧r）”表示。意为:当把三个命题变项p、q、r用合取A联合起来，通过不同的联结方式所得的不同公式，其真值是相同的。