合取的交换律

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

合取的交换律可以用符号表示为：
: (P \land Q) \vdash (Q \land P)

和

: (Q \land P) \vdash (P \land Q)

参见
*合取
*逻辑
*经典逻辑
*结构规则
*交换律

外部連結

• [http://www.ontology.co/history-of-logic.htm History of Logic in Relationship to Ontology] Annotated bibliography on the history of logic

參考資料