查看“︁合取的交换律”︁的源代码

'''合取的交换律'''({{lang-en|Commutativity of conjunction}})是命题逻辑中一种有效的论证形式和真值函数重言式。它被认为是[[经典逻辑]]的一个定律。原则是[[逻辑]][[合取]]的连词(conjuncts)可以相互交换位置，同时保留命题结果的真值。<ref>{{cite book|title=Introduction to Mathematical Logic|author=Elliott Mendelson|year=1997|publisher=CRC Press|isbn=0-412-80830-7}}</ref><ref name=Classical_Logic>{{cite web|title=Shapiro, Stewart and Teresa Kouri Kissel, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.)|url=https://plato.stanford.edu/archives/win2020/entries/logic-classical|access-date=2021-02-08|archive-date=2022-02-26|archive-url=https://web.archive.org/web/20220226014914/https://plato.stanford.edu/archives/win2020/entries/logic-classical/}}</ref><ref name=britannica_logic>{{cite web|title=logic, britannica.com|url=https://www.britannica.com/topic/logic|access-date=2021-06-27|archive-date=2022-07-10|archive-url=https://web.archive.org/web/20220710175329/https://www.britannica.com/topic/logic}}</ref>


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

和

: <math>(Q \land P) \vdash (P \land Q)</math>

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

== 外部連結 ==
{{Wikibooks|逻辑学导论}}
* [http://www.ontology.co/history-of-logic.htm History of Logic in Relationship to Ontology] {{Wayback|url=http://www.ontology.co/history-of-logic.htm |date=20110814105211 }} Annotated bibliography on the history of logic


==參考資料== 
{{Reflist|2}} 
{{逻辑}}
[[Category:邏輯]]
[[Category:數理邏輯|M]]
[[Category:形式逻辑系统]]
[[Category:命题演算]]