Follow

最近自分なりに述語論理みっちりやったので否定選言連言一意性否定条件背理法らへんの証明も目処が立ってパズルに思えてきた。数学的帰納法は前件肯定を使いまくって$P(n) \to P(n+1)$を証明することしか知らん。

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.