数学とか 含意から三段論法を演繹
三段論法と仮定証明下のような論理式「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)∧A→...
数学とか
よもやま話
よもやま話
よもやま話
プライベート
よもやま話
よもやま話
数学とか
数学とか
トレーニング
未分類
数学とか