数学とか 含意から三段論法を演繹
三段論法と仮定 証明 下のような論理式「AならばBかつBならばC、ならばAならばCである」(A→B∧B→C)→(A→C)「AならばBかつBならばCかつCであるならば、AならばCである」(A→B∧B→C)∧A→C 大枠の含意(A→B∧B→C)...
数学とか
よもやま話
よもやま話
よもやま話
プライベート
よもやま話
よもやま話
数学とか
数学とか
トレーニング
未分類
数学とか