合取的交换律

合取的交换律(Template:Lang-en)是命题逻辑中一种有效的论证形式和真值函数重言式。它被认为是经典逻辑的一个定律。原则是逻辑合取的连词(conjuncts)可以相互交换位置，同时保留命题结果的真值。

合取的交换律可以用符号表示为：

$(P\wedge Q)⊢(Q\wedge P)$

和

$(Q\wedge P)⊢(P\wedge Q)$

参见

• 合取
• 逻辑
• 经典逻辑
• 结构规则
• 交换律

外部連結

• History of Logic in Relationship to Ontology Template:Wayback Annotated bibliography on the history of logic