fbpx
维基百科

合取的交换律

合取的交换律(英語:Commutativity of conjunction)是命题逻辑中一种有效的论证形式和真值函数重言式。它被认为是经典逻辑的一个定律。原则是逻辑合取的连词(conjuncts)可以相互交换位置,同时保留命题结果的真值。[1][2][3]


合取的交换律可以用符号表示为:

参见 编辑

外部連結 编辑

  • History of Logic in Relationship to Ontology (页面存档备份,存于互联网档案馆) Annotated bibliography on the history of logic


參考資料 编辑

  1. ^ Elliott Mendelson. Introduction to Mathematical Logic. CRC Press. 1997. ISBN 0-412-80830-7. 
  2. ^ . [2021-02-08]. (原始内容存档于2022-02-26). 
  3. ^ . [2021-06-27]. (原始内容存档于2022-07-10). 

合取的交换律, 英語, commutativity, conjunction, 是命题逻辑中一种有效的论证形式和真值函数重言式, 它被认为是经典逻辑的一个定律, 原则是逻辑合取的连词, conjuncts, 可以相互交换位置, 同时保留命题结果的真值, 可以用符号表示为, displaystyle, land, vdash, land, displaystyle, land, vdash, land, 参见, 编辑合取, 逻辑, 经典逻辑, 结构规则, 交换律外部連結, 编辑維基教科書中的相關電子教程, 逻辑学导论. 合取的交换律 英語 Commutativity of conjunction 是命题逻辑中一种有效的论证形式和真值函数重言式 它被认为是经典逻辑的一个定律 原则是逻辑合取的连词 conjuncts 可以相互交换位置 同时保留命题结果的真值 1 2 3 合取的交换律可以用符号表示为 P Q Q P displaystyle P land Q vdash Q land P 和 Q P P Q displaystyle Q land P vdash P land Q 参见 编辑合取 逻辑 经典逻辑 结构规则 交换律外部連結 编辑維基教科書中的相關電子教程 逻辑学导论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 取自 https zh wikipedia org w index php title 合取的交换律 amp oldid 77989238, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。