数学とか 集合と自然演繹と認識
上は素朴集合論の∪∩の定義から導かれる分配法則とその証明。 以下は論理和と論理積の分配法則の自然演繹。 1.(仮定) 2.A∨B(∨導入) 4.A∨C(∨導入) 5.(A∨B)∧(A∨C)(∧導入) 6.A→(A∨B)∧(A∨C)(→導入)...
数学とか
よもやま話
技術
よもやま話
よもやま話
数学とか
技術
トレーニング
よもやま話
よもやま話
よもやま話
技術