合取的交換律

合取的交換律(英語：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