18/02/21 17:46:23.46 m2jGqPyW.net
「命題関数 F(x) を < x は F である> と読むとすれば、 F( ) は <…は F である>という部分に相当します。」
命題関数 F(n) を「n は素数である」だとします。
「F(n) を < n は F である> と読む」とは一体何のことなのでしょうか？
18/02/21 17:46:23.46 m2jGqPyW.net
「命題関数 F(x) を < x は F である> と読むとすれば、 F( ) は <…は F である>という部分に相当します。」
命題関数 F(n) を「n は素数である」だとします。
「F(n) を < n は F である> と読む」とは一体何のことなのでしょうか？