合取的交换律

维基百科,自由的百科全书

合取的交换律(英語: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).