数学とか 論理積と論理和の結合法則
結合法則の演繹 命題論理の結合法則を自然演繹の推論規則から導いてみます。結合法則は加法なら (A+B)+C=A+(B+C) と同値変形できる法則のことです。 論理積の結合法則の証明 1.A∧(B∧C)(前提)2.A,B∧C(除去)3.A,B...
数学とか
プライベート
未分類
数学とか
よもやま話
運動理論
運動理論
よもやま話
技術
数学とか
よもやま話
数学とか