18/02/21 18:04:56.44 m2jGqPyW.net
F とは何でしょうか？
普通に考えれば、 F(n) を「 n は素数である」という命題関数だとすると、
自然数 n に、「 n は素数である」という命題を対応させる関数のことを
さすのではないでしょうか？
「F(n) を < n は F である> と読む」とは一体何のことなのでしょうか？
これを明解に説明できる人などいるのでしょうか？
18/02/21 18:04:56.44 m2jGqPyW.net
F とは何でしょうか？
普通に考えれば、 F(n) を「 n は素数である」という命題関数だとすると、
自然数 n に、「 n は素数である」という命題を対応させる関数のことを
さすのではないでしょうか？
「F(n) を < n は F である> と読む」とは一体何のことなのでしょうか？
これを明解に説明できる人などいるのでしょうか？