2022-12-08から1日間の記事一覧
Suc-帰納法:\[(P(0)\wedge \forall k[P(k)\rightarrow P(k+1)])\rightarrow\forall n[P(n)]\tag{1}\] 累積帰納法:\[\forall n[\forall m(1)⇒(2):図式(1)のもと、$\forall n[\forall m(2)⇒(1):図式(2)のもと、(ア)$P(0)$および(イ)$\forall k[P(k)\righta…
Suc-帰納法:\[(P(0)\wedge \forall k[P(k)\rightarrow P(k+1)])\rightarrow\forall n[P(n)]\tag{1}\] 累積帰納法:\[\forall n[\forall m(1)⇒(2):図式(1)のもと、$\forall n[\forall m(2)⇒(1):図式(2)のもと、(ア)$P(0)$および(イ)$\forall k[P(k)\righta…