論理包含
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/07/08 22:06 UTC 版)
論理包含(ろんりほうがん、含意(がんい)、内含、英: implication、IMP)は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文(じょうけんぶん、英: conditional)とほぼ同じものである。論理的帰結(英: logical consequence)や伴意(英: entailment)とは異なる物である。
注釈
- ^ 蹄鉄記号Ɔが反転して部分集合記号⊂になっていることに注意。
出典
- ^ 近藤洋逸、好並英司『論理学概論』岩波書店、1964年、32頁。NDLJP:2969913。
- ^ Jean van Heijenoort, ed (1967). From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press. pp. 84–87. ISBN 0-674-32449-8
- ^ Michael Nahas (2022年4月25日). “English Translation of "Arithmetices Principia, Nova Methodo Exposita"”. GitHub. p. VI. 2022年8月10日閲覧。
- ^ Mauro ALLEGRANZA (2015年2月13日). “elementary set theory - Is there any connection between the symbol ⊃ when it means implication and its meaning as superset?” (英語). Mathematics Stack Exchange. Stack Exchange Inc. 2022年8月10日閲覧。
- ^ ラッセル、ホワイトヘッド 著、岡本賢吾、戸田山和久、加地大介 訳『プリンキピア・マテマティカ序論』 1巻、哲学書房〈叢書思考の生成〉、1988年7月、34頁。ISBN 4-88679-023-2。
- ^ 前原昭二『記号論理入門』日本評論者〈日評数学選書〉、2005年12月、173–174頁。ISBN 4-535-60144-5。
- ^ 長岡亮介 (1 June 2016). 長岡先生の映像授業008【集合の問題(2)】 (YouTube). 2022年1月30日閲覧。
- 1 論理包含とは
- 2 論理包含の概要
- 3 論理包含と条件文の関係
- 4 例
- 5 脚注
- 論理包含のページへのリンク