合取的交换律

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

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

${\displaystyle (P\land Q)\vdash (Q\land P)}$

和

${\displaystyle (Q\land P)\vdash (P\land Q)}$

参见

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

外部链接

• History of Logic in Relationship to Ontology （页面存档备份，存于互联网档案馆） Annotated bibliography on the history of logic

参考资料

1. Elliott Mendelson. Introduction to Mathematical Logic. CRC Press. 1997. ISBN 0-412-80830-7.
2. Shapiro, Stewart and Teresa Kouri Kissel, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.). [2021-02-08]. （原始内容存档于2022-02-26）.
3. logic, britannica.com. [2021-06-27]. （原始内容存档于2022-07-10）.