サクサク読めて、アプリ限定の機能も多数！
何か(たぶん俺の述語論理に関する理解)がおかしい…直感と合わない… P(n)「常に偽」という述語は「n<mを満たすすべての非負整数nについてP(n)が真ならば、P(m)が真」は真だけどP(0)は偽のはずだが…
wataken44 のブックマーク 2016/12/14 14:09
このブックマークにはスターがありません。 最初のスターをつけてみよう！
twitter.com/hyuki2016/12/14
1 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
何か(たぶん俺の述語論理に関する理解)がおかしい…直感と合わない… P(n)「常に偽」という述語は「n<mを満たすすべての非負整数nについてP(n)が真ならば、P(m)が真」は真だけどP(0)は偽のはずだが…
このブックマークにはスターがありません。
最初のスターをつけてみよう！
結城浩 on Twitter: "正解と解説を連ツイします。「いえます」が正解です（正解者は約三割）。この問題のポイントはP(0)が成り立つかどうかです。結論から言えばP(0)は成り立ちます。以下では、P(0)が成り立つといえるのはなぜか、順序立てて解説します。"
1 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／