2018-06-25から1日間の記事一覧
比較的最近、述語論理の全称記号・存在記号について書きました。 論理の存在記号∃をちゃんと使えるようになろう 論理の全称記号∀も存在記号∃もちゃんと使えるようになろう 特定分野の予備知識を仮定しないことにすると、例題は自然数や整数の話になりがちで…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
比較的最近、述語論理の全称記号・存在記号について書きました。 論理の存在記号∃をちゃんと使えるようになろう 論理の全称記号∀も存在記号∃もちゃんと使えるようになろう 特定分野の予備知識を仮定しないことにすると、例題は自然数や整数の話になりがちで…