暇つぶしに見て 自然演繹の推論規則と導入
含意は論理包含の別名です。推論規則は論理学で推論を行う際に利用してよい式の変形法則。 導入と除去のうち、今回は導入を学びます。 推論規則 導入 一見しただけでは「どうしてこんなことを決めるの？」と思ってしまいますが、僕は「人の認識によって新...
論理積
暇つぶしに見て 
暇つぶしに見て 論理包含の法則からドモルガンの法則を導く
下のリンクの続き。論理包含の定義から導き出せる性質（法則）を考えていきます。 論理包含の法則 論理包含の定義 前回学んだ定義の復習。集合を一般化したような概念で論理的に結論を導く方法として定義され、現時点では上手く行っているようです。集合論...
暇つぶしに見て 直積の定義と例
直和の定義の次は直積を見ていきます。忘れないようにメモしておきますが、これは整数の定義を理解したいというのが発端となっています。 直積 概要 数学において、集合のデカルト積（デカルトせき、英:Cartesian product）または直積...