暇つぶしに見て 論理和除去と導入 後回しにしてた論理和の推論規則を学んでいきます。 論理和の導入と除去 ∨（論理和）導入 Wikipediaの説明が分かりやすいので引用します。 もし「P」という命題が真であれば、「PまたはQ」という命題もまた真である、という推論規則である。... 2023.04.09 暇つぶしに見て
暇つぶしに見て 論理包含の法則からドモルガンの法則を導く 下のリンクの続き。論理包含の定義から導き出せる性質（法則）を考えていきます。 論理包含の法則 論理包含の定義 前回学んだ定義の復習。集合を一般化したような概念で論理的に結論を導く方法として定義され、現時点では上手く行っているようです。集合論... 2023.01.11 暇つぶしに見て
暇つぶしに見て 