論理包含

股関節おじさんの勉強部屋

論理包含の法則からドモルガンの法則を導く

下のリンクの続き。論理包含の定義から導き出せる性質(法則)を考えていきます。 論理包含の法則 論理包含の定義 前回学んだ定義の復習。集合を一般化したような概念で論理的に結論を導く方法として定義され、現時点では上手く行っているようです。集合論...
股関節おじさんの勉強部屋

「論理包含」で正気を失う

部分集合から集合の相等関係の法則を導く証明の際に使用した下の法則を理解するために論理包含を学びます。 【ドモルガンの法則】$\displaystyle (P\rightarrow Q)\land (Q\rightarrow P)\right...