合取的交換律
外觀
合取的交換律(英語:Commutativity of conjunction)是命題邏輯中一種有效的論證形式和真值函數重言式。它被認為是經典邏輯的一個定律。原則是邏輯合取的連詞(conjuncts)可以相互交換位置,同時保留命題結果的真值。[1][2][3]
合取的交換律可以用符號表示為:
和
參見
[編輯]外部連結
[編輯]- History of Logic in Relationship to Ontology (頁面存檔備份,存於網際網路檔案館) Annotated bibliography on the history of logic
參考資料
[編輯]- ^ Elliott Mendelson. Introduction to Mathematical Logic. CRC Press. 1997. ISBN 0-412-80830-7.
- ^ 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).
- ^ logic, britannica.com. [2021-06-27]. (原始內容存檔於2022-07-10).