数学のための論理学　1

数学のための論理学　1 at MATH

1:１３２人目の素数さん
21/10/25 21:48:04.50 wmQ0eFxo.net
数学も色々ありますが論理学も色々あります．
私は数学で用いることのできる推論規則は
最小論理+DN規則+同一性規則
だと考えています．たとえば
・対偶法
・ド・モルガンの法則
は数学では利用しません．
ここでの数学は代数学(集合と位相もあり)に限定します．
参考文献は主に金子洋之『記号論理入門』産業図書，1994
を用いたいと思います．
もしこの話に興味のある方がいましたら何でも話をしましょう．

レスを読む