合取的交换律

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

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

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

和

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

参见

外部連結

維基教科書中的相關電子：逻辑学导论

History of Logic in Relationship to Ontology （页面存档备份，存于） Annotated bibliography on the history of logic

參考資料

Elliott Mendelson. . CRC Press. 1997. ISBN 0-412-80830-7.
. [2021-02-08]. （原始内容存档于2022-02-26）.
. [2021-06-27]. （原始内容存档于2022-07-10）.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.