F とは何でしょうか？

普通に考えれば、 F(n) を「 n は素数である」という命題関数だとすると、
自然数 n に、「 n は素数である」という命題を対応させる関数のことを
さすのではないでしょうか？

「F(n) を < n は F である> と読む」とは一体何のことなのでしょうか？

これを明解に説明できる人などいるのでしょうか？