跳至內容

合取的交換律

維基百科,自由的百科全書

合取的交換律(英語:Commutativity of conjunction)是命題邏輯中一種有效的論證形式和真值函數重言式。它被認為是經典邏輯的一個定律。原則是邏輯合取的連詞(conjuncts)可以相互交換位置,同時保留命題結果的真值。[1][2][3]


合取的交換律可以用符號表示為:

參見

外部連結


參考資料

  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).